From f0b71e8dd6c00a476e7a464290c3b616cd754954 Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Mon, 7 Apr 2008 19:22:26 +0000 Subject: [PATCH] Remove a no longer needed function. --- src/gui/widgets/widget.hpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/gui/widgets/widget.hpp b/src/gui/widgets/widget.hpp index 0594da3d955..def7473e957 100644 --- a/src/gui/widgets/widget.hpp +++ b/src/gui/widgets/widget.hpp @@ -117,11 +117,6 @@ public: virtual void help(); // send when F1 is pressed on widget to get more help #endif - // layout sets up the children, this is only used by container - // containers should know their own size and optimize their - // children. - virtual void layout() {} - bool wants_mouse_hover() const { return wants_mouse_hover_; } bool wants_mouse_left_double_click() const { return wants_mouse_left_double_click_; }