--- a/UI/UserInterface.py Sun Jan 13 17:27:15 2013 +0100 +++ b/UI/UserInterface.py Sun Jan 13 19:11:18 2013 +0100 @@ -449,6 +449,10 @@ self.viewmanager.editorChanged.connect(self.projectBrowser.handleEditorChanged) self.viewmanager.checkActions.connect(self.cooperation.checkEditorActions) + self.shell.zoomValueChanged.connect(self.viewmanager.zoomValueChanged) + + self.terminal.zoomValueChanged.connect(self.viewmanager.zoomValueChanged) + self.cooperation.shareEditor.connect(self.viewmanager.shareEditor) self.cooperation.startEdit.connect(self.viewmanager.startSharedEdit) self.cooperation.sendEdit.connect(self.viewmanager.sendSharedEdit)