Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3621
15f23ed3f216
parent 3591
2f2a4a76dd22
child 3656
441956d8fce5
child 3894
5cbd92ad2dc0
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Fri May 30 13:17:20 2014 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Fri May 30 15:16:40 2014 +0200
@@ -358,7 +358,7 @@
             self.setTabsClosable(True)
         self.navigationButton.setEnabled(True)
         
-        if not editor in self.editors:
+        if editor not in self.editors:
             self.editors.append(editor)
             editor.captionChanged.connect(self.__captionChange)
             editor.cursorLineChanged.connect(self.__cursorLineChanged)
@@ -388,7 +388,7 @@
             self.setTabsClosable(True)
         self.navigationButton.setEnabled(True)
         
-        if not editor in self.editors:
+        if editor not in self.editors:
             self.editors.append(editor)
             editor.captionChanged.connect(self.__captionChange)
             editor.cursorLineChanged.connect(self.__cursorLineChanged)

eric ide

mercurial