consoleBackendShellListener = new ConsoleBackendShellListener(
console.getShell(), getLineSelection(selection, true).getOffset());
console.getShell().addListener(consoleBackendShellListener);
}
final IErlangConsolePage consolePage = ErlideUIPlugin.getDefault()
.getErlConsoleManager().getPage(console);
consolePage.input(text);
super.run(selection);
}