diff -r 6e33e83b215d -r 3cd2d5b75cdb Project/ProjectBrowser.py
--- 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):
"""
