diff options
| author | Robin Gareus <robin@gareus.org> | 2016-12-30 17:04:50 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2016-12-30 17:04:50 +0100 |
| commit | a2bf54c041b726a0639dc3294402471ea829bbde (patch) | |
| tree | 13a7898f7dda36bbb10c72cb4d6ae9b78a36c726 /gtk2_ardour/color_theme_manager.h | |
| parent | 16e4333ad6bdd1428940ad8a9fa1bf97ac6c8fdd (diff) | |
re-group preferences part eight and nine of 27 (probably)
Diffstat (limited to 'gtk2_ardour/color_theme_manager.h')
| -rw-r--r-- | gtk2_ardour/color_theme_manager.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/color_theme_manager.h b/gtk2_ardour/color_theme_manager.h index 21485464d8..104bca847b 100644 --- a/gtk2_ardour/color_theme_manager.h +++ b/gtk2_ardour/color_theme_manager.h @@ -58,6 +58,8 @@ class ColorThemeManager : public OptionEditorMiniPage void set_note (std::string const &); + void add_to_page (OptionEditorPage*); + Gtk::Widget& tip_widget(); private: |