UI/UserInterface.py

changeset 5968
c5112b5cb7a9
parent 5913
7ab2293917f8
child 6004
548a9ba8c970
child 6039
d52e90757805
diff -r da72832f7c22 -r c5112b5cb7a9 UI/UserInterface.py
--- a/UI/UserInterface.py	Sat Nov 11 18:47:09 2017 +0100
+++ b/UI/UserInterface.py	Sun Nov 12 19:42:02 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