Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 4403
bd43fd5b4606
parent 4393
aa574fe5ea93
child 4631
5c1a96925da4
diff -r ad524553e765 -r bd43fd5b4606 Plugins/ViewManagerPlugins/Listspace/Listspace.py
--- a/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Fri Aug 28 16:38:57 2015 +0200
+++ b/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Sat Aug 29 15:41:05 2015 +0200
@@ -77,11 +77,12 @@
         
         @param widget widget to be made current (QWidget)
         """
-        if isinstance(widget, QScintilla.Editor.Editor):
-            self.editors.remove(widget)
-            self.editors.insert(0, widget)
-            widget = widget.parent()
-        super(StackedWidget, self).setCurrentWidget(widget)
+        if widget is not None:
+            if isinstance(widget, QScintilla.Editor.Editor):
+                self.editors.remove(widget)
+                self.editors.insert(0, widget)
+                widget = widget.parent()
+            super(StackedWidget, self).setCurrentWidget(widget)
         
     def setCurrentIndex(self, index):
         """

eric ide

mercurial