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: |