tweak layout in theme manager prefs
authorPaul Davis <paul@linuxaudiosystems.com>
Sun, 29 May 2016 16:15:07 +0000 (12:15 -0400)
committerPaul Davis <paul@linuxaudiosystems.com>
Tue, 31 May 2016 19:30:45 +0000 (15:30 -0400)
commitfae3aee849e8d0cd0c5c0fa420fb7c4ceb9852df
tree5eaef051ce7c1470822697293b1e4d9a46546504
parentcb4b6bf8a3dff70c22e63f2f7b01abe225cee9fc
tweak layout in theme manager prefs
gtk2_ardour/theme_manager.cc