UI/UserInterface.py

branch
maintenance
changeset 6004
548a9ba8c970
parent 5949
22657f04f332
parent 5968
c5112b5cb7a9
child 6050
25a4ddb25ca4
--- 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(

eric ide

mercurial