diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-04-17 23:06:06 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2016-04-17 23:06:56 +0300 |
commit | dba0611175c8d4a56dfbc918ccef139351e5c3e0 (patch) | |
tree | b3c7a5684604facc0f0f5656fe373958c53dc5ad /src/gui/widgets/radiobutton.h | |
parent | 53530f76275df76406a9ce438a33df78c50d0948 (diff) | |
download | mv-dba0611175c8d4a56dfbc918ccef139351e5c3e0.tar.gz mv-dba0611175c8d4a56dfbc918ccef139351e5c3e0.tar.bz2 mv-dba0611175c8d4a56dfbc918ccef139351e5c3e0.tar.xz mv-dba0611175c8d4a56dfbc918ccef139351e5c3e0.zip |
Revert "Remove override keyword, if it present with final."
This reverts commit 55480eb4477b2cf85af1bcdcc5e8ec4f4ce6682d.
Diffstat (limited to 'src/gui/widgets/radiobutton.h')
-rw-r--r-- | src/gui/widgets/radiobutton.h | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/gui/widgets/radiobutton.h b/src/gui/widgets/radiobutton.h index 1f1d47f9d..79f1aefae 100644 --- a/src/gui/widgets/radiobutton.h +++ b/src/gui/widgets/radiobutton.h @@ -112,21 +112,21 @@ class RadioButton final : public Widget, * Implementation of the draw methods. * Thus, avoiding the rhomb around the radio button. */ - void draw(Graphics *const graphics) final A_NONNULL(2); + void draw(Graphics *const graphics) override final A_NONNULL(2); - void safeDraw(Graphics *const graphics) final A_NONNULL(2); + void safeDraw(Graphics *const graphics) override final A_NONNULL(2); /** * Called when the mouse enteres the widget area. */ - void mouseEntered(MouseEvent& event) final; + void mouseEntered(MouseEvent& event) override final; /** * Called when the mouse leaves the widget area. */ - void mouseExited(MouseEvent& event) final; + void mouseExited(MouseEvent& event) override final; - void keyPressed(KeyEvent& event) final; + void keyPressed(KeyEvent& event) override final; void updateAlpha(); @@ -169,9 +169,9 @@ class RadioButton final : public Widget, */ void setCaption(const std::string &caption); - void mouseClicked(MouseEvent& event) final; + void mouseClicked(MouseEvent& event) override final; - void mouseDragged(MouseEvent& event) final; + void mouseDragged(MouseEvent& event) override final; /** * Sets the group the radio button should belong to. Note that @@ -192,11 +192,11 @@ class RadioButton final : public Widget, const std::string &getGroup() const { return mGroup; } - void setParent(Widget *widget) final; + void setParent(Widget *widget) override final; - void widgetHidden(const Event &event) final; + void widgetHidden(const Event &event) override final; - void setWindow(Widget *const widget) final; + void setWindow(Widget *const widget) override final; private: static int instances; |