1 files changed, 2 insertions, 2 deletions
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,