From 0d3a65aad03d9ac726238b21ba8224e9558a8a08 Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Wed, 20 Jul 2016 00:40:01 +0200 Subject: Renamed UI::elementmargin to IU::spacing, added UI::margin. --- src/client/buttonmenu.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/client/buttonmenu.cc') 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 -- cgit v1.2.3