menuManager.appendToGroup(SCRIPT_GROUP, saveSessionAction);
menuManager.appendToGroup(SCRIPT_GROUP, closeConsoleAction);
}
protected TextConsoleViewer createViewer(Composite parent) {
ScriptConsole console = (ScriptConsole) getConsole();
viewer = new ScriptConsoleViewer(parent, console, this, console.createStyleProvider(),
console.getInitialCommands(), console.getFocusOnStart(), console.getBackspaceAction(),
console.getAutoEditStrategy());
viewer.configure(cfg);
return viewer;
}