--- a/UI/UserInterface.py Sun Nov 19 13:06:01 2017 +0100 +++ b/UI/UserInterface.py Sat Dec 02 12:40:22 2017 +0100 @@ -357,6 +357,15 @@ self.projectBrowser.piBrowser.appendStdout.connect(self.appendToStdout) self.projectBrowser.piBrowser.appendStderr.connect(self.appendToStderr) + self.projectBrowser.ppBrowser.sourceFile[str].connect( + self.viewmanager.openSourceFile) + self.projectBrowser.ppBrowser.sourceFile[str, int].connect( + self.viewmanager.openSourceFile) + self.projectBrowser.ppBrowser.closeSourceWindow.connect( + self.viewmanager.closeWindow) + self.projectBrowser.ppBrowser.appendStdout.connect(self.appendToStdout) + self.projectBrowser.ppBrowser.appendStderr.connect(self.appendToStderr) + self.projectBrowser.poBrowser.sourceFile.connect( self.viewmanager.openSourceFile) self.projectBrowser.poBrowser.closeSourceWindow.connect( @@ -445,6 +454,8 @@ self.preferencesChanged.connect( self.projectBrowser.piBrowser.handlePreferencesChanged) self.preferencesChanged.connect( + self.projectBrowser.ppBrowser.handlePreferencesChanged) + self.preferencesChanged.connect( self.projectBrowser.poBrowser.handlePreferencesChanged) self.preferencesChanged.connect(self.browser.handlePreferencesChanged) self.preferencesChanged.connect(