Project/ProjectBrowser.py

changeset 5988
3cd2d5b75cdb
parent 5969
584c21b6587a
child 6048
82ad8ec9548c
--- a/Project/ProjectBrowser.py	Sun Nov 19 19:14:51 2017 +0100
+++ b/Project/ProjectBrowser.py	Sun Nov 19 19:16:53 2017 +0100
@@ -350,6 +350,8 @@
                 self.piBrowser.selectFile(fn)
             elif self.project.isProjectProtocol(fn):
                 self.ppBrowser.selectFile(fn)
+            elif self.project.isProjectProtocol(fn):
+                self.ppBrowser.selectFile(fn)
     
     def handleEditorLineChanged(self, fn, lineno):
         """
@@ -370,7 +372,8 @@
         @return list of references to project browsers
         """
         return [self.psBrowser, self.pfBrowser, self.prBrowser,
-                self.ptBrowser, self.piBrowser, self.poBrowser]
+                self.ptBrowser, self.piBrowser, self.ppBrowser,
+                self.poBrowser]
     
     def getProjectBrowser(self, name):
         """
@@ -378,7 +381,7 @@
         
         @param name name of the requested project browser (string).
             Valid names are "sources, forms, resources, translations,
-            interfaces, others".
+            interfaces, protocols, others".
         @return reference to the requested browser or None
         """
         if name == "sources":
@@ -391,6 +394,8 @@
             return self.ptBrowser
         elif name == "interfaces":
             return self.piBrowser
+        elif name == "protocols":
+            return self.ppBrowser
         elif name == "others":
             return self.poBrowser
         else:
@@ -403,7 +408,7 @@
         @return list of project browser names (list of string)
         """
         return ["sources", "forms", "resources",
-                "translations", "interfaces", "others"]
+                "translations", "interfaces", "protocols", "others"]
     
     def handlePreferencesChanged(self):
         """

eric ide

mercurial