Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3893
52c53efa7627
parent 3670
f0cb7579c0b4
child 4021
195a471c327b
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Wed Oct 29 13:45:05 2014 +0100
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Thu Oct 30 19:05:40 2014 +0100
@@ -1185,6 +1185,7 @@
         """
         if event.type() == QEvent.MouseButtonPress and \
            not event.button() == Qt.RightButton:
+            switched = True
             self.currentTabWidget.showIndicator(False)
             if isinstance(watched, E5TabWidget):
                 switched = watched is not self.currentTabWidget

eric ide

mercurial