diff options
author | Robin Gareus <robin@gareus.org> | 2016-12-29 23:04:39 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-12-29 23:06:15 +0100 |
commit | 30c785dc37a3febd4299fd5bf9880ab00bf7fa48 (patch) | |
tree | c2b0df97ebd04c56afb6df35dbca68604c58a9a1 /gtk2_ardour/rc_option_editor.cc | |
parent | 1d97a0fb3e4f9294308f3b5718f61b9d6bd1504c (diff) |
Turn Theme Manager into an OptionEditor (no direct use of Gtk)
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index cc710a1a9b..f0b7be4829 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -3674,9 +3674,8 @@ if (!ARDOUR::Profile->get_mixbus()) { /* and now the theme manager */ - ThemeManager* tm = manage (new ThemeManager); add_option (_("Theme"), new OptionEditorHeading (_("Theme"))); - add_page (_("Theme"), *tm); + add_option (_("Theme"), new ThemeManager); add_option (_("Theme/Colors"), new OptionEditorHeading (_("Colors"))); add_option (_("Theme/Colors"), new ColorThemeManager); |