Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 4403
bd43fd5b4606
parent 4393
aa574fe5ea93
child 4631
5c1a96925da4
equal deleted inserted replaced
4402:ad524553e765 4403:bd43fd5b4606
1105 if i == len(self.tabWidgets) - 1: 1105 if i == len(self.tabWidgets) - 1:
1106 i -= 1 1106 i -= 1
1107 self.tabWidgets.remove(tw) 1107 self.tabWidgets.remove(tw)
1108 tw.close() 1108 tw.close()
1109 self.currentTabWidget = self.tabWidgets[i] 1109 self.currentTabWidget = self.tabWidgets[i]
1110 self.currentTabWidget.showIndicator(True) 1110 for tw in self.tabWidgets:
1111 tw.showIndicator(tw == self.currentTabWidget)
1112 if self.currentTabWidget is not None:
1113 assembly = self.currentTabWidget.currentWidget()
1114 if assembly is not None:
1115 editor = assembly.getEditor()
1116 if editor is not None:
1117 editor.setFocus(Qt.OtherFocusReason)
1111 if len(self.tabWidgets) == 1: 1118 if len(self.tabWidgets) == 1:
1112 self.splitRemoveAct.setEnabled(False) 1119 self.splitRemoveAct.setEnabled(False)
1113 self.nextSplitAct.setEnabled(False) 1120 self.nextSplitAct.setEnabled(False)
1114 self.prevSplitAct.setEnabled(False) 1121 self.prevSplitAct.setEnabled(False)
1115 return True 1122 return True

eric ide

mercurial