diff -r 7febcdccb2a1 -r 435cc5875135 src/eric7/QScintilla/MiniEditor.py
--- a/src/eric7/QScintilla/MiniEditor.py Thu May 25 11:12:05 2023 +0200
+++ b/src/eric7/QScintilla/MiniEditor.py Thu May 25 19:51:47 2023 +0200
@@ -882,11 +882,7 @@
####################################################################
self.esm = QSignalMapper(self)
- try:
- self.esm.mappedInt.connect(self.__textEdit.editorCommand)
- except AttributeError:
- # pre Qt 5.15
- self.esm.mapped[int].connect(self.__textEdit.editorCommand)
+ self.esm.mappedInt.connect(self.__textEdit.editorCommand)
self.editorActGrp = createActionGroup(self)
