Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 1131
7781e396c903
parent 1112
8a7d1b9d18db
child 1299
fd5d21389d2b
--- a/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Sun Jun 19 17:50:39 2011 +0200
+++ b/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Sun Jun 19 19:36:27 2011 +0200
@@ -31,7 +31,7 @@
         
         @param parent parent widget (QWidget)
         """
-        QStackedWidget.__init__(self, parent)
+        super().__init__(parent)
         self.setAttribute(Qt.WA_DeleteOnClose, True)
         
         self.editors = []
@@ -42,7 +42,7 @@
         
         @param editor the editor object to be added (QScintilla.Editor.Editor)
         """
-        QStackedWidget.addWidget(self, editor)
+        super().addWidget(editor)
         if not editor in self.editors:
             self.editors.append(editor)
         
@@ -52,7 +52,7 @@
         
         @param widget widget to be removed (QWidget)
         """
-        QStackedWidget.removeWidget(self, widget)
+        super().removeWidget(widget)
         if isinstance(widget, QScintilla.Editor.Editor):
             self.editors.remove(widget)
         
@@ -65,7 +65,7 @@
         if isinstance(widget, QScintilla.Editor.Editor):
             self.editors.remove(widget)
             self.editors.insert(0, widget)
-        QStackedWidget.setCurrentWidget(self, widget)
+        super().setCurrentWidget(widget)
         
     def setCurrentIndex(self, index):
         """

eric ide

mercurial