Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 3621
15f23ed3f216
parent 3591
2f2a4a76dd22
child 3656
441956d8fce5
child 3894
5cbd92ad2dc0
--- a/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Fri May 30 13:17:20 2014 +0200
+++ b/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Fri May 30 15:16:40 2014 +0200
@@ -46,7 +46,7 @@
         """
         editor = assembly.getEditor()
         super(StackedWidget, self).addWidget(assembly)
-        if not editor in self.editors:
+        if editor not in self.editors:
             self.editors.append(editor)
         
     def removeWidget(self, widget):

eric ide

mercurial