Shrink some spinners

This commit is contained in:
Robin Gareus 2016-12-30 00:12:25 +01:00
parent d89db694cf
commit f114a20aa9
2 changed files with 10 additions and 5 deletions

View File

@ -59,7 +59,7 @@ OptionEditorComponent::add_widget_to_page (OptionEditorPage* p, Gtk::Widget* w)
}
void
OptionEditorComponent::add_widgets_to_page (OptionEditorPage* p, Gtk::Widget* wa, Gtk::Widget* wb)
OptionEditorComponent::add_widgets_to_page (OptionEditorPage* p, Gtk::Widget* wa, Gtk::Widget* wb, bool expand)
{
int const n = p->table.property_n_rows();
int m = n + 1;
@ -69,8 +69,13 @@ OptionEditorComponent::add_widgets_to_page (OptionEditorPage* p, Gtk::Widget* wa
p->table.resize (m, 3);
p->table.attach (*wa, 1, 2, n, n + 1, FILL);
p->table.attach (*wb, 2, 3, n, n + 1, FILL | EXPAND);
if (expand) {
p->table.attach (*wb, 2, 3, n, n + 1, FILL | EXPAND);
} else {
Alignment* a = manage (new Alignment (0, 0.5, 0, 1.0));
a->add (*wb);
p->table.attach (*a, 2, 3, n, n + 1, FILL | EXPAND);
}
maybe_add_note (p, n + 1);
}

View File

@ -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 ()