diff options
Diffstat (limited to 'src/gui/widgets/tab.h')
-rw-r--r-- | src/gui/widgets/tab.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/gui/widgets/tab.h b/src/gui/widgets/tab.h index 6cd2a3e2d..cbc50a2ef 100644 --- a/src/gui/widgets/tab.h +++ b/src/gui/widgets/tab.h @@ -135,7 +135,7 @@ class Tab : public gcn::BasicContainer, void setTabbedArea(TabbedArea* tabbedArea); - TabbedArea* getTabbedArea() A_WARN_UNUSED; + TabbedArea* getTabbedArea() const A_WARN_UNUSED; void setCaption(const std::string& caption); @@ -153,7 +153,6 @@ class Tab : public gcn::BasicContainer, Label* mLabel; - bool mHasMouse; TabbedArea* mTabbedArea; @@ -177,8 +176,11 @@ class Tab : public gcn::BasicContainer, const gcn::Color *mPlayerFlashOutlineColor; int mFlash; ImageCollection *mVertexes; - bool mRedraw; int mMode; + bool mRedraw; + + protected: + bool mHasMouse; }; #endif // GUI_WIDGETS_TAB_H |