eric: diff Plugins/ViewManagerPlugins/Tabview/Tabview.py

diff -r f6ac4b481bdb -r 52c53efa7627 Plugins/ViewManagerPlugins/Tabview/Tabview.py
--- 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