Tue, 30 Jul 2024 16:24:27 +0200
Fixed an issue causing the zoom slider to not change when the editor zoom is changed via the mouse wheel (see issue 564).
--- 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): """