diff -r 3e9f0330f833 -r 7781e396c903 QScintilla/MiniEditor.py
--- a/QScintilla/MiniEditor.py Sun Jun 19 17:50:39 2011 +0200
+++ b/QScintilla/MiniEditor.py Sun Jun 19 19:36:27 2011 +0200
@@ -45,7 +45,7 @@
@param name name of this instance (string)
@param flags window flags
"""
- QsciScintillaCompat.__init__(self, parent)
+ super().__init__(parent)
self.mw = parent
@@ -75,7 +75,7 @@
self.setCursorFlashTime(QApplication.cursorFlashTime())
- QsciScintillaCompat.focusInEvent(self, event)
+ super().focusInEvent(event)
def focusOutEvent(self, event):
"""
@@ -86,7 +86,7 @@
self.mw.editorActGrp.setEnabled(False)
self.setCaretWidth(0)
- QsciScintillaCompat.focusOutEvent(self, event)
+ super().focusOutEvent(event)
class MiniEditor(QMainWindow):
@@ -106,7 +106,7 @@
@param parent reference to the parent widget (QWidget)
@param name object name of the window (string)
"""
- QMainWindow.__init__(self, parent)
+ super().__init__(parent)
if name is not None:
self.setObjectName(name)
self.setAttribute(Qt.WA_DeleteOnClose)
