def get_shell_widget(self):
# Globals explorer
self.globalsexplorer = GlobalsExplorer(self)
self.connect(self.globalsexplorer, SIGNAL('collapse()'),
lambda: self.toggle_globals_explorer(False))
# Shell splitter
self.splitter = splitter = QSplitter(Qt.Vertical, self)
self.connect(self.splitter, SIGNAL('splitterMoved(int, int)'),
self.splitter_moved)
splitter.addWidget(self.shell)
splitter.setCollapsible(0, False)
splitter.addWidget(self.globalsexplorer)
splitter.setStretchFactor(0, 2)
splitter.setStretchFactor(1, 1)
return splitter
