203 self.__initMenu() |
203 self.__initMenu() |
204 self.contextMenuEditor = None |
204 self.contextMenuEditor = None |
205 self.contextMenuIndex = -1 |
205 self.contextMenuIndex = -1 |
206 |
206 |
207 self.setTabContextMenuPolicy(Qt.CustomContextMenu) |
207 self.setTabContextMenuPolicy(Qt.CustomContextMenu) |
208 self.connect(self, SIGNAL('customTabContextMenuRequested(const QPoint &, int)'), |
208 self.customTabContextMenuRequested.connect(self.__showContextMenu) |
209 self.__showContextMenu) |
|
210 |
209 |
211 ericPic = QPixmap(os.path.join(getConfig('ericPixDir'), 'eric_small.png')) |
210 ericPic = QPixmap(os.path.join(getConfig('ericPixDir'), 'eric_small.png')) |
212 self.emptyLabel = QLabel() |
211 self.emptyLabel = QLabel() |
213 self.emptyLabel.setPixmap(ericPic) |
212 self.emptyLabel.setPixmap(ericPic) |
214 self.emptyLabel.setAlignment(Qt.AlignVCenter | Qt.AlignHCenter) |
213 self.emptyLabel.setAlignment(Qt.AlignVCenter | Qt.AlignHCenter) |