move theme manager into preferences window
authorPaul Davis <paul@linuxaudiosystems.com>
Mon, 15 Dec 2014 17:32:41 +0000 (12:32 -0500)
committerPaul Davis <paul@linuxaudiosystems.com>
Mon, 15 Dec 2014 17:32:41 +0000 (12:32 -0500)
commitf6e88ead01b1823f1374afdbc3d8b9a5639e7f46
tree9cddcd830da9d58bf364b89ee298a973a6ead8d1
parent8b230014412b90b78240685b16a8d4e624cc5ce6
move theme manager into preferences window
gtk2_ardour/ardour.menus.in
gtk2_ardour/ardour_ui.cc
gtk2_ardour/ardour_ui.h
gtk2_ardour/ardour_ui_dialogs.cc
gtk2_ardour/mnemonic-us.bindings.in
gtk2_ardour/option_editor.cc
gtk2_ardour/option_editor.h
gtk2_ardour/rc_option_editor.cc
gtk2_ardour/theme_manager.cc
gtk2_ardour/theme_manager.h