From 56d7e7deadef65feed1d8531580593e85ed69ff3 Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Sat, 23 Jul 2016 19:18:30 +0200 Subject: Added player settings menu. --- src/client/buttonmenu.cc | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'src/client/buttonmenu.cc') diff --git a/src/client/buttonmenu.cc b/src/client/buttonmenu.cc index b5e8959..bef2558 100644 --- a/src/client/buttonmenu.cc +++ b/src/client/buttonmenu.cc @@ -45,27 +45,26 @@ ui::Button *ButtonMenu::add_button(char const *text, char const *command) void ButtonMenu::resize() { - const float padding = ui::UI::elementsize.height(); - // reposition all children within the container - const float x = padding; - float y = ui::UI::elementsize.height() * 0.5f; + const float margin = ui::UI::elementsize.height(); + + float y = margin * 0.5f; for (Children::iterator it = buttonmenu_container->children().begin(); it != buttonmenu_container->children().end(); it++) { Widget *w = (*it); w->set_size(ui::UI::elementsize); - w->set_location(x, y); + w->set_location(margin, y); - y += ui::UI::elementsize.height() + ui::UI::spacing; + y += ui::UI::elementsize.height() + ui::UI::padding; } // resize container widget if (!buttonmenu_compact) { - buttonmenu_container->set_geometry(0, 0, ui::UI::elementsize.width() + 2.0f * padding, height()); + buttonmenu_container->set_geometry(0, 0, ui::UI::elementsize.width() + 2.0f * margin, height()); } else { y += ui::UI::elementsize.height() * 0.5f; - buttonmenu_container->set_geometry(0, (height() - y) * 0.5f, ui::UI::elementsize.width() + 2.0f * padding, y); + buttonmenu_container->set_geometry(0, (height() - y) * 0.5f, ui::UI::elementsize.width() + 2.0f * margin, y); } -- cgit v1.2.3