Revert "Remove override keyword, if it present with final."

This reverts commit 55480eb4477b2cf85af1bcdcc5e8ec4f4ce6682d.

1 files changed, 7 insertions, 7 deletions

diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h
index 70d731b83..cf9d701f7 100644
--- a/src/gui/windowmenu.h
+++ b/src/gui/windowmenu.h
@@ -57,13 +57,13 @@ class WindowMenu final : public Container,
 
         ~WindowMenu();
 
-        void action(const ActionEvent &event) final;
+        void action(const ActionEvent &event) override final;
 
-        void mousePressed(MouseEvent &event) final;
+        void mousePressed(MouseEvent &event) override final;
 
-        void mouseMoved(MouseEvent &event) final;
+        void mouseMoved(MouseEvent &event) override final;
 
-        void mouseExited(MouseEvent& event A_UNUSED) final;
+        void mouseExited(MouseEvent& event A_UNUSED) override final;
 
         std::map <std::string, ButtonInfo*> &getButtonNames() A_WARN_UNUSED
         { return mButtonNames; }
@@ -80,17 +80,17 @@ class WindowMenu final : public Container,
 
         void saveButtons() const;
 
-        void optionChanged(const std::string &name) final;
+        void optionChanged(const std::string &name) override final;
 
 #ifdef USE_PROFILER
         void logicChildren();
 #endif
 
     protected:
-        void drawChildren(Graphics *const graphics) final
+        void drawChildren(Graphics *const graphics) override final
                           A_NONNULL(2);
 
-        void safeDrawChildren(Graphics *const graphics) final
+        void safeDrawChildren(Graphics *const graphics) override final
                               A_NONNULL(2);
 
     private: