--- a/Debugger/DebugViewer.py Wed May 02 19:10:17 2012 +0200 +++ b/Debugger/DebugViewer.py Fri May 04 20:06:17 2012 +0200 @@ -25,7 +25,7 @@ from PyQt4.QtGui import QWidget, QVBoxLayout, QHBoxLayout, QLineEdit, QSizePolicy, \ QPushButton, QComboBox, QLabel, QTreeWidget, QTreeWidgetItem, QHeaderView -from QScintilla.Shell import Shell +from QScintilla.Shell import ShellAssembly from .VariablesViewer import VariablesViewer from .ExceptionLogger import ExceptionLogger from .BreakPointViewer import BreakPointViewer @@ -83,8 +83,9 @@ self.embeddedShell = embeddedShell if embeddedShell: # add the interpreter shell - self.shell = Shell(debugServer, vm) - index = self.__tabWidget.addTab(self.shell, + self.shellAssembly = ShellAssembly(debugServer, vm, False) + self.shell = self.shellAssembly.shell() + index = self.__tabWidget.addTab(self.shellAssembly, UI.PixmapCache.getIcon("shell.png"), '') self.__tabWidget.setTabToolTip(index, self.shell.windowTitle())