QScintilla/MiniEditor.py

changeset 1131
7781e396c903
parent 1112
8a7d1b9d18db
child 1197
59fa9eae9123
--- 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)

eric ide

mercurial