diff options
Diffstat (limited to 'plugingui/widget.h')
| -rw-r--r-- | plugingui/widget.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/widget.h b/plugingui/widget.h index 0485c32..3b17f1f 100644 --- a/plugingui/widget.h +++ b/plugingui/widget.h @@ -53,7 +53,7 @@ public: virtual void show(); virtual void hide(); void setVisible(bool visible); - bool visible() const; + virtual bool visible() const; //! Mark widget dirty and shedule redraw on next window redraw. void redraw(); |