Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3621
15f23ed3f216
parent 3591
2f2a4a76dd22
child 3656
441956d8fce5
child 3894
5cbd92ad2dc0
equal deleted inserted replaced
3620:2c8d96d47cda 3621:15f23ed3f216
356 self.closeButton.setEnabled(True) 356 self.closeButton.setEnabled(True)
357 else: 357 else:
358 self.setTabsClosable(True) 358 self.setTabsClosable(True)
359 self.navigationButton.setEnabled(True) 359 self.navigationButton.setEnabled(True)
360 360
361 if not editor in self.editors: 361 if editor not in self.editors:
362 self.editors.append(editor) 362 self.editors.append(editor)
363 editor.captionChanged.connect(self.__captionChange) 363 editor.captionChanged.connect(self.__captionChange)
364 editor.cursorLineChanged.connect(self.__cursorLineChanged) 364 editor.cursorLineChanged.connect(self.__cursorLineChanged)
365 365
366 emptyIndex = self.indexOf(self.emptyLabel) 366 emptyIndex = self.indexOf(self.emptyLabel)
386 self.closeButton.setEnabled(True) 386 self.closeButton.setEnabled(True)
387 else: 387 else:
388 self.setTabsClosable(True) 388 self.setTabsClosable(True)
389 self.navigationButton.setEnabled(True) 389 self.navigationButton.setEnabled(True)
390 390
391 if not editor in self.editors: 391 if editor not in self.editors:
392 self.editors.append(editor) 392 self.editors.append(editor)
393 editor.captionChanged.connect(self.__captionChange) 393 editor.captionChanged.connect(self.__captionChange)
394 editor.cursorLineChanged.connect(self.__cursorLineChanged) 394 editor.cursorLineChanged.connect(self.__cursorLineChanged)
395 emptyIndex = self.indexOf(self.emptyLabel) 395 emptyIndex = self.indexOf(self.emptyLabel)
396 if emptyIndex > -1: 396 if emptyIndex > -1:

eric ide

mercurial