From 95b811f2852627f65feaeaf0b67532b00903f31c Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Tue, 28 May 2013 20:24:17 +0300
Subject: improve windowmenu.

---
 src/gui/windowmenu.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/gui/windowmenu.h')

diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h
index 3a438e735..b3b77b16f 100644
--- a/src/gui/windowmenu.h
+++ b/src/gui/windowmenu.h
@@ -109,12 +109,12 @@ class WindowMenu final : public Container,
 
         void loadButtons();
 
-        void saveButtons();
+        void saveButtons() const;
 
         void optionChanged(const std::string &name) override;
 
     protected:
-        void drawChildren(gcn::Graphics* graphics);
+        void drawChildren(gcn::Graphics* graphics) override;
 
     private:
         inline void addButton(const char *const text,
-- 
cgit v1.2.3-60-g2f50