diff -r f2d75784e574 -r 072047a94342 src/eric7/ViewManager/ViewManager.py
--- a/src/eric7/ViewManager/ViewManager.py Sun Apr 07 19:58:46 2024 +0200
+++ b/src/eric7/ViewManager/ViewManager.py Mon Apr 08 09:19:17 2024 +0200
@@ -5743,7 +5743,6 @@
)
editor.selectionChanged.connect(lambda: self.__editorSelectionChanged(editor))
editor.lastEditPositionAvailable.connect(self.__lastEditPositionAvailable)
- editor.zoomValueChanged.connect(lambda v: self.zoomValueChanged(v, editor))
editor.mouseDoubleClick.connect(
lambda pos, buttons: self.__editorDoubleClicked(editor, pos, buttons)
)
@@ -6560,7 +6559,8 @@
self.sbZoom.setEnabled(False)
else:
self.sbZoom.setEnabled(True)
- self.sbZoom.setValue(now.getZoom())
+ if isinstance(now, Shell):
+ self.sbZoom.setValue(now.getZoom())
if not isinstance(now, (Editor, Shell)):
self.searchActGrp.setEnabled(False)
@@ -6992,11 +6992,14 @@
@param zoomingWidget reference to the widget triggering the slot
@type Editor or Shell
"""
- aw = (
- ericApp().getObject("Shell")
- if QApplication.focusWidget() == ericApp().getObject("Shell")
- else self.activeWindow()
- )
+ if QApplication.focusWidget() == ericApp().getObject("Shell"):
+ aw = ericApp().getObject("Shell")
+ else:
+ aw = (
+ self.activeWindow()
+ if self.activeWindow() == QApplication.focusWidget()
+ else QApplication.focusWidget()
+ )
if aw and aw == zoomingWidget:
self.sbZoom.setValue(value)
