446 self.viewmanager.editorOpened.connect(self.__editorOpened) |
446 self.viewmanager.editorOpened.connect(self.__editorOpened) |
447 self.viewmanager.changeCaption.connect(self.__setWindowCaption) |
447 self.viewmanager.changeCaption.connect(self.__setWindowCaption) |
448 self.viewmanager.checkActions.connect(self.__checkActions) |
448 self.viewmanager.checkActions.connect(self.__checkActions) |
449 self.viewmanager.editorChanged.connect(self.projectBrowser.handleEditorChanged) |
449 self.viewmanager.editorChanged.connect(self.projectBrowser.handleEditorChanged) |
450 self.viewmanager.checkActions.connect(self.cooperation.checkEditorActions) |
450 self.viewmanager.checkActions.connect(self.cooperation.checkEditorActions) |
|
451 |
|
452 self.shell.zoomValueChanged.connect(self.viewmanager.zoomValueChanged) |
|
453 |
|
454 self.terminal.zoomValueChanged.connect(self.viewmanager.zoomValueChanged) |
451 |
455 |
452 self.cooperation.shareEditor.connect(self.viewmanager.shareEditor) |
456 self.cooperation.shareEditor.connect(self.viewmanager.shareEditor) |
453 self.cooperation.startEdit.connect(self.viewmanager.startSharedEdit) |
457 self.cooperation.startEdit.connect(self.viewmanager.startSharedEdit) |
454 self.cooperation.sendEdit.connect(self.viewmanager.sendSharedEdit) |
458 self.cooperation.sendEdit.connect(self.viewmanager.sendSharedEdit) |
455 self.cooperation.cancelEdit.connect(self.viewmanager.cancelSharedEdit) |
459 self.cooperation.cancelEdit.connect(self.viewmanager.cancelSharedEdit) |