Turn Theme Manager into an OptionEditor (no direct use of Gtk)
authorRobin Gareus <robin@gareus.org>
Thu, 29 Dec 2016 22:04:39 +0000 (23:04 +0100)
committerRobin Gareus <robin@gareus.org>
Thu, 29 Dec 2016 22:06:15 +0000 (23:06 +0100)
commit30c785dc37a3febd4299fd5bf9880ab00bf7fa48
treec2b0df97ebd04c56afb6df35dbca68604c58a9a1
parent1d97a0fb3e4f9294308f3b5718f61b9d6bd1504c
Turn Theme Manager into an OptionEditor (no direct use of Gtk)
gtk2_ardour/ardour_ui_options.cc
gtk2_ardour/rc_option_editor.cc
gtk2_ardour/theme_manager.cc
gtk2_ardour/theme_manager.h