Project/ProjectBrowser.py

changeset 1422
47f1dffa398e
parent 1112
8a7d1b9d18db
child 1509
c0b5e693b0eb
diff -r 8fead6686d1c -r 47f1dffa398e Project/ProjectBrowser.py
--- a/Project/ProjectBrowser.py	Fri Nov 04 17:38:51 2011 +0100
+++ b/Project/ProjectBrowser.py	Sat Nov 05 11:08:35 2011 +0100
@@ -58,6 +58,8 @@
         
         self.setWindowIcon(UI.PixmapCache.getIcon("eric.png"))
         
+        self.setUsesScrollButtons(True)
+        
         self.vcsStatusIndicator = E5Led(self)
         self.setCornerWidget(self.vcsStatusIndicator, Qt.TopLeftCorner)
         self.vcsStatusColorNames = {

eric ide

mercurial