src/eric7/ViewManager/ViewManager.py

branch
eric7
changeset 10876
ec224611090e
parent 10849
78d338b6d89f
child 10973
484b5440fd1e
diff -r a1d82f137464 -r ec224611090e src/eric7/ViewManager/ViewManager.py
--- 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):
         """

eric ide

mercurial