381 self.viewmanager.lastEditorClosed.connect(self.__lastEditorClosed) |
381 self.viewmanager.lastEditorClosed.connect(self.__lastEditorClosed) |
382 self.viewmanager.editorOpened.connect(self.__editorOpened) |
382 self.viewmanager.editorOpened.connect(self.__editorOpened) |
383 self.viewmanager.changeCaption.connect(self.__setWindowCaption) |
383 self.viewmanager.changeCaption.connect(self.__setWindowCaption) |
384 self.viewmanager.checkActions.connect(self.__checkActions) |
384 self.viewmanager.checkActions.connect(self.__checkActions) |
385 self.viewmanager.editorChanged.connect(self.projectBrowser.handleEditorChanged) |
385 self.viewmanager.editorChanged.connect(self.projectBrowser.handleEditorChanged) |
|
386 self.viewmanager.editorLineChanged.connect( |
|
387 self.projectBrowser.handleEditorLineChanged) |
386 self.viewmanager.checkActions.connect(self.cooperation.checkEditorActions) |
388 self.viewmanager.checkActions.connect(self.cooperation.checkEditorActions) |
387 |
389 |
388 self.shell.zoomValueChanged.connect(self.viewmanager.zoomValueChanged) |
390 self.shell.zoomValueChanged.connect(self.viewmanager.zoomValueChanged) |
389 |
391 |
390 self.cooperation.shareEditor.connect(self.viewmanager.shareEditor) |
392 self.cooperation.shareEditor.connect(self.viewmanager.shareEditor) |