UI/UserInterface.py

changeset 2347
a4a4d710ebe8
parent 2334
fc69ad77e18a
child 2354
c63de4af553d
diff -r 2a56a27a4021 -r a4a4d710ebe8 UI/UserInterface.py
--- 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)

eric ide

mercurial