Mercurial Repositories > eric / file comparison
comparison: Debugger/DebugViewer.py
Debugger/DebugViewer.py
- changeset 1833
- f7cd855680f1
- parent 1509
- c0b5e693b0eb
- child 1843
- 0c00516e0403
equal
deleted
inserted
replaced
| 1831:2dd263d670ca | 1833:f7cd855680f1 |
|---|---|
| 23 | 23 |
| 24 from PyQt4.QtCore import pyqtSignal | 24 from PyQt4.QtCore import pyqtSignal |
| 25 from PyQt4.QtGui import QWidget, QVBoxLayout, QHBoxLayout, QLineEdit, QSizePolicy, \ | 25 from PyQt4.QtGui import QWidget, QVBoxLayout, QHBoxLayout, QLineEdit, QSizePolicy, \ |
| 26 QPushButton, QComboBox, QLabel, QTreeWidget, QTreeWidgetItem, QHeaderView | 26 QPushButton, QComboBox, QLabel, QTreeWidget, QTreeWidgetItem, QHeaderView |
| 27 | 27 |
| 28 from QScintilla.Shell import Shell | 28 from QScintilla.Shell import ShellAssembly |
| 29 from .VariablesViewer import VariablesViewer | 29 from .VariablesViewer import VariablesViewer |
| 30 from .ExceptionLogger import ExceptionLogger | 30 from .ExceptionLogger import ExceptionLogger |
| 31 from .BreakPointViewer import BreakPointViewer | 31 from .BreakPointViewer import BreakPointViewer |
| 32 from .WatchPointViewer import WatchPointViewer | 32 from .WatchPointViewer import WatchPointViewer |
| 33 | 33 |
| 81 self.__mainLayout.addWidget(self.__tabWidget) | 81 self.__mainLayout.addWidget(self.__tabWidget) |
| 82 | 82 |
| 83 self.embeddedShell = embeddedShell | 83 self.embeddedShell = embeddedShell |
| 84 if embeddedShell: | 84 if embeddedShell: |
| 85 # add the interpreter shell | 85 # add the interpreter shell |
| 86 self.shell = Shell(debugServer, vm) | 86 self.shellAssembly = ShellAssembly(debugServer, vm, False) |
| 87 index = self.__tabWidget.addTab(self.shell, | 87 self.shell = self.shellAssembly.shell() |
| 88 index = self.__tabWidget.addTab(self.shellAssembly, | |
| 88 UI.PixmapCache.getIcon("shell.png"), '') | 89 UI.PixmapCache.getIcon("shell.png"), '') |
| 89 self.__tabWidget.setTabToolTip(index, self.shell.windowTitle()) | 90 self.__tabWidget.setTabToolTip(index, self.shell.windowTitle()) |
| 90 | 91 |
| 91 self.embeddedBrowser = embeddedBrowser | 92 self.embeddedBrowser = embeddedBrowser |
| 92 if embeddedBrowser: | 93 if embeddedBrowser: |
