--- a/src/eric7/ViewManager/ViewManager.py	Mon Jul 29 15:23:03 2024 +0200
+++ b/src/eric7/ViewManager/ViewManager.py	Tue Jul 30 16:24:27 2024 +0200
@@ -5907,6 +5907,7 @@
 
         editor.languageChanged.connect(lambda: self.editorLanguageChanged.emit(editor))
         editor.textChanged.connect(lambda: self.editorTextChanged.emit(editor))
+        editor.zoomValueChanged.connect(lambda z: self.zoomValueChanged(z, editor))
 
     def newEditorView(self, fn, caller, filetype="", indexes=None):
         """