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.cc | |
parent | 16e4333ad6bdd1428940ad8a9fa1bf97ac6c8fdd (diff) |
re-group preferences part eight and nine of 27 (probably)
Diffstat (limited to 'gtk2_ardour/color_theme_manager.cc')
-rw-r--r-- | gtk2_ardour/color_theme_manager.cc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gtk2_ardour/color_theme_manager.cc b/gtk2_ardour/color_theme_manager.cc index cbf341a739..013a0764d0 100644 --- a/gtk2_ardour/color_theme_manager.cc +++ b/gtk2_ardour/color_theme_manager.cc @@ -602,6 +602,19 @@ ColorThemeManager::set_state_from_config () } +void +ColorThemeManager::add_to_page (OptionEditorPage* p) +{ + int const n = p->table.property_n_rows(); + int m = n + 1; + if (!_note.empty ()) { + ++m; + } + p->table.resize (m, 3); + p->table.attach (box, 1, 3, n, n + 1, FILL | EXPAND, SHRINK, 0, 0); + maybe_add_note (p, n + 1); +} + Gtk::Widget& ColorThemeManager::tip_widget() { |