diff options
author | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:40:01 +0200 |
---|---|---|
committer | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:40:01 +0200 |
commit | 0d3a65aad03d9ac726238b21ba8224e9558a8a08 (patch) | |
tree | 5a6d704902543025d4877b584a400d3db10ebdc2 /src/client/buttonmenu.cc | |
parent | 1d99e86e3197ed7594d9ef8c1c350a6a60e7bce0 (diff) |
Renamed UI::elementmargin to IU::spacing, added UI::margin.
Diffstat (limited to 'src/client/buttonmenu.cc')
-rw-r--r-- | src/client/buttonmenu.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/buttonmenu.cc b/src/client/buttonmenu.cc index 18139d0..b5e8959 100644 --- a/src/client/buttonmenu.cc +++ b/src/client/buttonmenu.cc @@ -57,7 +57,7 @@ void ButtonMenu::resize() w->set_size(ui::UI::elementsize); w->set_location(x, y); - y += ui::UI::elementsize.height() + ui::UI::elementmargin; + y += ui::UI::elementsize.height() + ui::UI::spacing; } // resize container widget |