move theme manager into preferences window

This commit is contained in:
Paul Davis 2014-12-15 12:32:41 -05:00
parent 8b23001441
commit f6e88ead01
10 changed files with 40 additions and 43 deletions

View file

@ -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: