re-group preferences part one of 27 (probably)
authorRobin Gareus <robin@gareus.org>
Thu, 29 Dec 2016 22:34:51 +0000 (23:34 +0100)
committerRobin Gareus <robin@gareus.org>
Thu, 29 Dec 2016 22:34:51 +0000 (23:34 +0100)
commit0abc970ced53322096d0bf88a3d0c27d5206afd6
treebea0aaafe5d46a32a3d888fe3dce8091242a290a
parenta3b72d52a603e0da7ba94d5650d793f497cc6ac1
re-group preferences part one of 27 (probably)
gtk2_ardour/rc_option_editor.cc
gtk2_ardour/theme_manager.cc