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): """