Project/ProjectBrowser.py

changeset 2769
8cbebde7a984
parent 2408
dc3a7c9d8f6e
child 2791
a9577f248f04
child 2965
d133c7edd88a
--- a/Project/ProjectBrowser.py	Wed Jul 03 19:34:42 2013 +0200
+++ b/Project/ProjectBrowser.py	Fri Jul 05 19:17:29 2013 +0200
@@ -302,6 +302,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.

eric ide

mercurial