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