ViewManager/ViewManager.py

changeset 2351
649e4f8c5cef
parent 2347
a4a4d710ebe8
child 2362
68a92d01c1cc
--- a/ViewManager/ViewManager.py	Mon Jan 14 18:41:04 2013 +0100
+++ b/ViewManager/ViewManager.py	Mon Jan 14 18:42:07 2013 +0100
@@ -5051,7 +5051,14 @@
         
         @param value new zoom value (integer)
         """
-        self.sbZoom.setValue(value)
+        if QApplication.focusWidget() == e5App().getObject("Shell"):
+            aw = e5App().getObject("Shell")
+        elif QApplication.focusWidget() == e5App().getObject("Terminal"):
+            aw = e5App().getObject("Terminal")
+        else:
+            aw = self.activeWindow()
+        if aw and aw == self.sender():
+            self.sbZoom.setValue(value)
         
     def __toggleAll(self):
         """
@@ -5732,7 +5739,9 @@
         
         # reload editor settings
         for editor in self.editors:
+            zoom = editor.getZoom()
             editor.readSettings()
+            editor.zoomTo(zoom)
         
         # reload the autosave timer setting
         self.autosaveInterval = Preferences.getEditor("AutosaveInterval")

eric ide

mercurial