E5Gui/E5ToolBox.py

changeset 1422
47f1dffa398e
parent 1399
b0f9840a6aea
child 1509
c0b5e693b0eb
diff -r 8fead6686d1c -r 47f1dffa398e E5Gui/E5ToolBox.py
--- a/E5Gui/E5ToolBox.py	Fri Nov 04 17:38:51 2011 +0100
+++ b/E5Gui/E5ToolBox.py	Sat Nov 05 11:08:35 2011 +0100
@@ -37,6 +37,7 @@
         """
         E5TabWidget.__init__(self, parent)
         self.setTabPosition(QTabWidget.West)
+        self.setUsesScrollButtons(True)
     
     def addItem(self, widget, icon, text):
         """

eric ide

mercurial