--- 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)