Fixed an issue causing the zoom slider to not change when the editor zoom is changed via the mouse wheel (see issue 564). eric7

Tue, 30 Jul 2024 16:24:27 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 30 Jul 2024 16:24:27 +0200
branch
eric7
changeset 10876
ec224611090e
parent 10875
a1d82f137464
child 10877
83e79644616a

Fixed an issue causing the zoom slider to not change when the editor zoom is changed via the mouse wheel (see issue 564).

src/eric7/QScintilla/MiniEditor.py file | annotate | diff | comparison | revisions
src/eric7/QScintilla/QsciScintillaCompat.py file | annotate | diff | comparison | revisions
src/eric7/ViewManager/ViewManager.py file | annotate | diff | comparison | revisions
--- a/src/eric7/QScintilla/MiniEditor.py	Mon Jul 29 15:23:03 2024 +0200
+++ b/src/eric7/QScintilla/MiniEditor.py	Tue Jul 30 16:24:27 2024 +0200
@@ -370,6 +370,7 @@
         self.__textEdit.selectionChanged.connect(
             lambda: self.__searchReplaceWidget.selectionChanged(self.__textEdit)
         )
+        self.__textEdit.zoomValueChanged.connect(self.sbZoom.setValue)
 
         if filename:
             if FileSystemUtilities.isPlainFileName(filename):
--- a/src/eric7/QScintilla/QsciScintillaCompat.py	Mon Jul 29 15:23:03 2024 +0200
+++ b/src/eric7/QScintilla/QsciScintillaCompat.py	Tue Jul 30 16:24:27 2024 +0200
@@ -431,6 +431,7 @@
         @type int
         """
         super().zoomIn(zoom)
+        self.zoomValueChanged.emit(self.zoom)
 
     def zoomOut(self, zoom=1):
         """
@@ -440,6 +441,7 @@
         @type int
         """
         super().zoomOut(zoom)
+        self.zoomValueChanged.emit(self.zoom)
 
     def zoomTo(self, zoom):
         """
--- 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