Plugins/ViewManagerPlugins/Tabview/Tabview.py

branch
5_5_x
changeset 3894
5cbd92ad2dc0
parent 3621
15f23ed3f216
--- 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
@@ -1184,6 +1184,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