diff -r 6686a3326df8 -r a9577f248f04 Project/ProjectBrowser.py
--- a/Project/ProjectBrowser.py Mon Jul 08 21:47:26 2013 +0200
+++ b/Project/ProjectBrowser.py Mon Jul 08 22:36:10 2013 +0200
@@ -304,6 +304,18 @@
elif self.project.isProjectInterface(fn):
self.piBrowser.selectFile(fn)
+ def handleEditorLineChanged(self, fn, lineno):
+ """
+ Public slot to handle the editorLineChanged signal.
+
+ @param fn filename of the changed file (string)
+ @param lineno one based line number of the item (integer)
+ """
+ if Preferences.getProject("FollowEditor") and \
+ Preferences.getProject("FollowCursorLine"):
+ if self.project.isProjectSource(fn):
+ self.psBrowser.selectFileLine(fn, lineno)
+
def getProjectBrowsers(self):
"""
Public method to get references to the individual project browsers.
