From 8cc7664f758a3e9df9e2a4578780e70ba0f7076a Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Mon, 1 Apr 2013 14:21:49 +0200 Subject: [PATCH] Add C++11 override markers. Adds the markers for gui2::twidget::demand_reduce_width. --- src/gui/widgets/container.hpp | 4 ++-- src/gui/widgets/grid.hpp | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/gui/widgets/container.hpp b/src/gui/widgets/container.hpp index 4af6a396214..8913a4fb48c 100644 --- a/src/gui/widgets/container.hpp +++ b/src/gui/widgets/container.hpp @@ -63,8 +63,8 @@ public: /** See @ref twidget::request_reduce_width. */ virtual void request_reduce_width(const unsigned maximum_width) OVERRIDE; - /** Inherited from twidget. */ - void demand_reduce_width(const unsigned maximum_width); + /** See @ref twidget::demand_reduce_width. */ + virtual void demand_reduce_width(const unsigned maximum_width) OVERRIDE; /** * Tries to reduce the height of a container. diff --git a/src/gui/widgets/grid.hpp b/src/gui/widgets/grid.hpp index 3b810058f51..fcd4382c0f7 100644 --- a/src/gui/widgets/grid.hpp +++ b/src/gui/widgets/grid.hpp @@ -193,8 +193,8 @@ public: /** See @ref twidget::request_reduce_width. */ virtual void request_reduce_width(const unsigned maximum_width) OVERRIDE; - /** Inherited from twidget. */ - void demand_reduce_width(const unsigned maximum_width); + /** See @ref twidget::demand_reduce_width. */ + virtual void demand_reduce_width(const unsigned maximum_width) OVERRIDE; /** * Tries to reduce the height of a container.