UI/UserInterface.py

changeset 3357
2390df6f42ba
parent 3345
071afe8be2a1
child 3446
5a670e55adbb
--- a/UI/UserInterface.py	Tue Mar 11 18:56:38 2014 +0100
+++ b/UI/UserInterface.py	Tue Mar 11 20:07:05 2014 +0100
@@ -363,6 +363,8 @@
             self.debugViewer.breakpointViewer.highlightBreakpoint)
         debugServer.clientProcessStdout.connect(self.appendToStdout)
         debugServer.clientProcessStderr.connect(self.appendToStderr)
+        debugServer.clientInterpreterChanged.connect(
+            self.browser.handleInterpreterChanged)
         
         self.stdout.appendStdout.connect(self.appendToStdout)
         self.stderr.appendStderr.connect(self.appendToStderr)

eric ide

mercurial