Add flag to enable or disable scroll buttons in tabbed area.

Also add not working right margin to tabbed area.

1 files changed, 13 insertions, 0 deletions

diff --git a/src/gui/widgets/tabbedarea.h b/src/gui/widgets/tabbedarea.h
index e5a00e277..0c2903777 100644
--- a/src/gui/widgets/tabbedarea.h
+++ b/src/gui/widgets/tabbedarea.h
@@ -51,6 +51,8 @@ class TabbedArea : public gcn::TabbedArea, public gcn::WidgetListener
          */
         TabbedArea();
 
+        ~TabbedArea();
+
         /**
          * Draw the tabbed area.
          */
@@ -129,6 +131,14 @@ class TabbedArea : public gcn::TabbedArea, public gcn::WidgetListener
 
         void mousePressed(gcn::MouseEvent &mouseEvent);
 
+        void enableScrollButtons(bool enable);
+
+        void setRightMargin(int n)
+        { mRightMargin = n; }
+
+        int getRightMargin()
+        { return mRightMargin; }
+
     private:
         typedef std::vector< std::pair<gcn::Tab*, gcn::Widget*> > TabContainer;
 
@@ -168,6 +178,9 @@ class TabbedArea : public gcn::TabbedArea, public gcn::WidgetListener
          * @note the index must start at 0.
          */
         unsigned mTabScrollIndex;
+
+        bool mEnableScrollButtons;
+        int mRightMargin;
 };
 
 #endif