//Added because we don't want the console to close when the user presses ESC
//(as it would when it's on a floating window)
//we do that because ESC is meant to clear the current line (and as such,
//should do that action and not close the console).
styledText.addTraverseListener(new TraverseListener() {
public void keyTraversed(TraverseEvent e) {
if (e.detail == SWT.TRAVERSE_ESCAPE) {
e.doit = false;
}