--- 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 = {