UI/UserInterface.py

changeset 2769
8cbebde7a984
parent 2763
e4794166ad70
child 2770
fd5ee85f0450
--- a/UI/UserInterface.py	Wed Jul 03 19:34:42 2013 +0200
+++ b/UI/UserInterface.py	Fri Jul 05 19:17:29 2013 +0200
@@ -383,6 +383,8 @@
         self.viewmanager.changeCaption.connect(self.__setWindowCaption)
         self.viewmanager.checkActions.connect(self.__checkActions)
         self.viewmanager.editorChanged.connect(self.projectBrowser.handleEditorChanged)
+        self.viewmanager.editorLineChanged.connect(
+            self.projectBrowser.handleEditorLineChanged)
         self.viewmanager.checkActions.connect(self.cooperation.checkEditorActions)
         
         self.shell.zoomValueChanged.connect(self.viewmanager.zoomValueChanged)

eric ide

mercurial