diff -r 385f60c94548 -r 7c09585bd960 eric6/QScintilla/MiniEditor.py
--- a/eric6/QScintilla/MiniEditor.py Sat Apr 10 18:31:17 2021 +0200
+++ b/eric6/QScintilla/MiniEditor.py Sat Apr 10 18:38:27 2021 +0200
@@ -67,7 +67,7 @@
@param parent parent widget
@type QWidget
"""
- super(MiniScintilla, self).__init__(parent)
+ super().__init__(parent)
self.mw = parent
@@ -94,7 +94,7 @@
if text in matchingPairs:
self.delete()
- super(MiniScintilla, self).editorCommand(cmd)
+ super().editorCommand(cmd)
def keyPressEvent(self, ev):
"""
@@ -135,7 +135,7 @@
ev.accept()
return
- super(MiniScintilla, self).keyPressEvent(ev)
+ super().keyPressEvent(ev)
else:
ev.ignore()
@@ -159,7 +159,7 @@
self.setCursorFlashTime(QApplication.cursorFlashTime())
- super(MiniScintilla, self).focusInEvent(event)
+ super().focusInEvent(event)
def focusOutEvent(self, event):
"""
@@ -171,7 +171,7 @@
self.mw.editorActGrp.setEnabled(False)
self.setCaretWidth(0)
- super(MiniScintilla, self).focusOutEvent(event)
+ super().focusOutEvent(event)
def removeTrailingWhitespace(self):
"""
@@ -216,7 +216,7 @@
@param parent reference to the parent widget (QWidget)
@param name object name of the window (string)
"""
- super(MiniEditor, self).__init__(parent)
+ super().__init__(parent)
if name is not None:
self.setObjectName(name)
self.setWindowIcon(UI.PixmapCache.getIcon("editor"))
@@ -2740,7 +2740,7 @@
if "[*]" not in self.windowTitle():
self.setWindowTitle(self.tr("[*] - {0}")
.format(self.tr("Mini Editor")))
- super(MiniEditor, self).setWindowModified(modified)
+ super().setWindowModified(modified)
def __setCurrentFile(self, fileName):
"""
