ViewManager/ViewManager.py

changeset 2351
649e4f8c5cef
parent 2347
a4a4d710ebe8
child 2362
68a92d01c1cc
equal deleted inserted replaced
2350:54a7af2eac7a 2351:649e4f8c5cef
5049 """ 5049 """
5050 Public slot to handle changes of the zoom value. 5050 Public slot to handle changes of the zoom value.
5051 5051
5052 @param value new zoom value (integer) 5052 @param value new zoom value (integer)
5053 """ 5053 """
5054 self.sbZoom.setValue(value) 5054 if QApplication.focusWidget() == e5App().getObject("Shell"):
5055 aw = e5App().getObject("Shell")
5056 elif QApplication.focusWidget() == e5App().getObject("Terminal"):
5057 aw = e5App().getObject("Terminal")
5058 else:
5059 aw = self.activeWindow()
5060 if aw and aw == self.sender():
5061 self.sbZoom.setValue(value)
5055 5062
5056 def __toggleAll(self): 5063 def __toggleAll(self):
5057 """ 5064 """
5058 Private method to handle the toggle all folds action. 5065 Private method to handle the toggle all folds action.
5059 """ 5066 """
5730 # reload the APIs 5737 # reload the APIs
5731 self.apisManager.reloadAPIs() 5738 self.apisManager.reloadAPIs()
5732 5739
5733 # reload editor settings 5740 # reload editor settings
5734 for editor in self.editors: 5741 for editor in self.editors:
5742 zoom = editor.getZoom()
5735 editor.readSettings() 5743 editor.readSettings()
5744 editor.zoomTo(zoom)
5736 5745
5737 # reload the autosave timer setting 5746 # reload the autosave timer setting
5738 self.autosaveInterval = Preferences.getEditor("AutosaveInterval") 5747 self.autosaveInterval = Preferences.getEditor("AutosaveInterval")
5739 if len(self.editors): 5748 if len(self.editors):
5740 if self.autosaveTimer.isActive() and \ 5749 if self.autosaveTimer.isActive() and \

eric ide

mercurial