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