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