Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3893
52c53efa7627
parent 3670
f0cb7579c0b4
child 4021
195a471c327b
equal deleted inserted replaced
3891:f6ac4b481bdb 3893:52c53efa7627
1183 @param event the event that occurred (QEvent) 1183 @param event the event that occurred (QEvent)
1184 @return always False 1184 @return always False
1185 """ 1185 """
1186 if event.type() == QEvent.MouseButtonPress and \ 1186 if event.type() == QEvent.MouseButtonPress and \
1187 not event.button() == Qt.RightButton: 1187 not event.button() == Qt.RightButton:
1188 switched = True
1188 self.currentTabWidget.showIndicator(False) 1189 self.currentTabWidget.showIndicator(False)
1189 if isinstance(watched, E5TabWidget): 1190 if isinstance(watched, E5TabWidget):
1190 switched = watched is not self.currentTabWidget 1191 switched = watched is not self.currentTabWidget
1191 self.currentTabWidget = watched 1192 self.currentTabWidget = watched
1192 elif isinstance(watched, QTabBar): 1193 elif isinstance(watched, QTabBar):

eric ide

mercurial