Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 2770
fd5ee85f0450
parent 2769
8cbebde7a984
child 2791
a9577f248f04
child 2824
858412c29c34
equal deleted inserted replaced
2769:8cbebde7a984 2770:fd5ee85f0450
368 self.navigationButton.setEnabled(True) 368 self.navigationButton.setEnabled(True)
369 369
370 if not editor in self.editors: 370 if not editor in self.editors:
371 self.editors.append(editor) 371 self.editors.append(editor)
372 editor.captionChanged.connect(self.__captionChange) 372 editor.captionChanged.connect(self.__captionChange)
373 editor.cursorLineChanged.connect(self.__cursorLineChanged) 373 editor.cursorLineChanged.connect(self.__cursorLineChanged)
374 emptyIndex = self.indexOf(self.emptyLabel) 374 emptyIndex = self.indexOf(self.emptyLabel)
375 if emptyIndex > -1: 375 if emptyIndex > -1:
376 self.removeTab(emptyIndex) 376 self.removeTab(emptyIndex)
377 377
378 return newIndex 378 return newIndex

eric ide

mercurial