Move items not relevant for appearance out of "GUI" preferences
authorRobin Gareus <robin@gareus.org>
Mon, 2 Jan 2017 19:15:34 +0000 (20:15 +0100)
committerRobin Gareus <robin@gareus.org>
Mon, 2 Jan 2017 19:15:34 +0000 (20:15 +0100)
commiteb06a980c27d66e948694741a2d62f3dc03ae253
tree98840ac8f01a6e637fcbe50a63344e856b73221a
parenteae6593a7ec11dc3093890f767fed6ff44cfc0a0
Move items not relevant for appearance out of "GUI" preferences
gtk2_ardour/rc_option_editor.cc