diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2014-12-15 12:32:41 -0500 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-12-15 12:32:41 -0500 |
commit | f6e88ead01b1823f1374afdbc3d8b9a5639e7f46 (patch) | |
tree | 9cddcd830da9d58bf364b89ee298a973a6ead8d1 /gtk2_ardour/option_editor.h | |
parent | 8b230014412b90b78240685b16a8d4e624cc5ce6 (diff) |
move theme manager into preferences window
Diffstat (limited to 'gtk2_ardour/option_editor.h')
-rw-r--r-- | gtk2_ardour/option_editor.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gtk2_ardour/option_editor.h b/gtk2_ardour/option_editor.h index 4e3269e43c..cb5f76f31d 100644 --- a/gtk2_ardour/option_editor.h +++ b/gtk2_ardour/option_editor.h @@ -651,7 +651,8 @@ public: ~OptionEditor (); void add_option (std::string const &, OptionEditorComponent *); - + void add_page (std::string const &, Gtk::Widget& page_widget); + void set_current_page (std::string const &); protected: |