diff -r eab35f6e709f -r 8cbebde7a984 UI/UserInterface.py --- 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)