diff -r a1d82f137464 -r ec224611090e src/eric7/QScintilla/MiniEditor.py --- 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):