55 """ |
55 """ |
56 E5TabWidget.__init__(self, parent) |
56 E5TabWidget.__init__(self, parent) |
57 self.project = project |
57 self.project = project |
58 |
58 |
59 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
59 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
|
60 |
|
61 self.setUsesScrollButtons(True) |
60 |
62 |
61 self.vcsStatusIndicator = E5Led(self) |
63 self.vcsStatusIndicator = E5Led(self) |
62 self.setCornerWidget(self.vcsStatusIndicator, Qt.TopLeftCorner) |
64 self.setCornerWidget(self.vcsStatusIndicator, Qt.TopLeftCorner) |
63 self.vcsStatusColorNames = { |
65 self.vcsStatusColorNames = { |
64 "A": "VcsAdded", |
66 "A": "VcsAdded", |