From 4c0e989adaabc094487180c440ec926c2d1bb567 Mon Sep 17 00:00:00 2001 From: Jabiertxof Date: Thu, 13 Jun 2019 10:24:22 +0200 Subject: Fix CI problem --- src/ui/widget/combo-enums.h | 2 +- src/ui/widget/spinbutton.h | 2 +- src/ui/widget/unit-menu.h | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/ui/widget/combo-enums.h b/src/ui/widget/combo-enums.h index 2bfa56d86..8ceca1da7 100644 --- a/src/ui/widget/combo-enums.h +++ b/src/ui/widget/combo-enums.h @@ -155,7 +155,7 @@ public: } }; - bool on_scroll_event(GdkEventScroll* event) + bool on_scroll_event(GdkEventScroll* event) override { return false; } diff --git a/src/ui/widget/spinbutton.h b/src/ui/widget/spinbutton.h index b32b8b9cc..83015fb4a 100644 --- a/src/ui/widget/spinbutton.h +++ b/src/ui/widget/spinbutton.h @@ -84,7 +84,7 @@ protected: * @retval false continue with default handler. * @retval true don't call default handler. */ - bool on_scroll_event(GdkEventScroll* event); + bool on_scroll_event(GdkEventScroll* event) override; /** * Handle specific keypress events, like Ctrl+Z. * diff --git a/src/ui/widget/unit-menu.h b/src/ui/widget/unit-menu.h index 6065a4efa..d92fa2d11 100644 --- a/src/ui/widget/unit-menu.h +++ b/src/ui/widget/unit-menu.h @@ -125,7 +125,7 @@ protected: /** * block scroll from widget if is inside a scrolled window. */ - bool on_scroll_event(GdkEventScroll* event); + bool on_scroll_event(GdkEventScroll* event) override; }; } // namespace Widget -- cgit v1.2.3