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