diff options
| author | Robin Gareus <robin@gareus.org> | 2016-12-30 00:12:25 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2016-12-30 00:12:25 +0100 |
| commit | f114a20aa93e7753d65918e1052c08ff0357611a (patch) | |
| tree | f5f48038a868edd2d85680afc61a35e1843c8349 /gtk2_ardour/option_editor.h | |
| parent | d89db694cfd2c187bc45fe93702de2ad6ed6f0a0 (diff) | |
Shrink some spinners
Diffstat (limited to 'gtk2_ardour/option_editor.h')
| -rw-r--r-- | gtk2_ardour/option_editor.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk2_ardour/option_editor.h b/gtk2_ardour/option_editor.h index 59fc6da376..93e217f7e7 100644 --- a/gtk2_ardour/option_editor.h +++ b/gtk2_ardour/option_editor.h @@ -72,7 +72,7 @@ public: virtual void add_to_page (OptionEditorPage *) = 0; void add_widget_to_page (OptionEditorPage*, Gtk::Widget*); - void add_widgets_to_page (OptionEditorPage*, Gtk::Widget*, Gtk::Widget*); + void add_widgets_to_page (OptionEditorPage*, Gtk::Widget*, Gtk::Widget*, bool expand = true); void set_note (std::string const &); @@ -509,7 +509,7 @@ public: void add_to_page (OptionEditorPage* p) { - add_widgets_to_page (p, _label, _box); + add_widgets_to_page (p, _label, _box, false); } void changed () |