--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Fri Jul 05 19:17:29 2013 +0200 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Fri Jul 05 19:39:15 2013 +0200 @@ -370,7 +370,7 @@ if not editor in self.editors: self.editors.append(editor) editor.captionChanged.connect(self.__captionChange) - editor.cursorLineChanged.connect(self.__cursorLineChanged) + editor.cursorLineChanged.connect(self.__cursorLineChanged) emptyIndex = self.indexOf(self.emptyLabel) if emptyIndex > -1: self.removeTab(emptyIndex)