diff options
| -rw-r--r-- | src/gui/windowmenu.cpp | 2 | ||||
| -rw-r--r-- | src/gui/windowmenu.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/windowmenu.cpp b/src/gui/windowmenu.cpp index 332843a86..b69c624fa 100644 --- a/src/gui/windowmenu.cpp +++ b/src/gui/windowmenu.cpp @@ -231,7 +231,7 @@ void WindowMenu::action(const gcn::ActionEvent &event) void WindowMenu::addButton(const char *const text, const std::string &description, - int &x, int &h, const int key, + int &restrict x, int &restrict h, const int key, const bool visible) { Button *const btn = new Button(this, gettext(text), text, this); diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h index 2fbd3a0c8..d66ccd184 100644 --- a/src/gui/windowmenu.h +++ b/src/gui/windowmenu.h @@ -123,7 +123,7 @@ class WindowMenu final : public Container, private: inline void addButton(const char *const text, const std::string &description, - int &x, int &h, const int key, + int &restrict x, int &restrict h, const int key, const bool visible = true); void updateButtons(); |