Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 2770
fd5ee85f0450
parent 2769
8cbebde7a984
child 2791
a9577f248f04
child 2824
858412c29c34
--- 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)

eric ide

mercurial