diff options
Diffstat (limited to 'src/gui/windowmenu.h')
| -rw-r--r-- | src/gui/windowmenu.h | 14 |
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: |