From 3f1a475c6cb6501a06efc7d5d62cecc104faee26 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 19 Mar 2011 05:50:44 +0200
Subject: Add flag to enable or disable scroll buttons in tabbed area.

Also add not working right margin to tabbed area.
---
 src/gui/widgets/tabbedarea.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/gui/widgets/tabbedarea.h')

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
-- 
cgit v1.2.3-70-g09d2