Project/ProjectBrowser.py

changeset 5969
584c21b6587a
parent 5968
c5112b5cb7a9
child 5988
3cd2d5b75cdb
diff -r c5112b5cb7a9 -r 584c21b6587a Project/ProjectBrowser.py
--- a/Project/ProjectBrowser.py	Sun Nov 12 19:42:02 2017 +0100
+++ b/Project/ProjectBrowser.py	Mon Nov 13 20:20:06 2017 +0100
@@ -348,6 +348,8 @@
                 self.pfBrowser.selectFile(fn)
             elif self.project.isProjectInterface(fn):
                 self.piBrowser.selectFile(fn)
+            elif self.project.isProjectProtocol(fn):
+                self.ppBrowser.selectFile(fn)
     
     def handleEditorLineChanged(self, fn, lineno):
         """

eric ide

mercurial