Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 4403
bd43fd5b4606
parent 4393
aa574fe5ea93
child 4631
5c1a96925da4
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Fri Aug 28 16:38:57 2015 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Sat Aug 29 15:41:05 2015 +0200
@@ -1107,7 +1107,14 @@
                 self.tabWidgets.remove(tw)
                 tw.close()
                 self.currentTabWidget = self.tabWidgets[i]
-                self.currentTabWidget.showIndicator(True)
+                for tw in self.tabWidgets:
+                    tw.showIndicator(tw == self.currentTabWidget)
+                if self.currentTabWidget is not None:
+                    assembly = self.currentTabWidget.currentWidget()
+                    if assembly is not None:
+                        editor = assembly.getEditor()
+                        if editor is not None:
+                            editor.setFocus(Qt.OtherFocusReason)
                 if len(self.tabWidgets) == 1:
                     self.splitRemoveAct.setEnabled(False)
                     self.nextSplitAct.setEnabled(False)

eric ide

mercurial