console.setHistory(history); console.setHistoryEnabled(true); console.setKeyMap(KeyMap.EMACS); out = new ConsoleWriter(console); context.attach(ConsoleWriter.class, out);
console.setHistory(history); console.setHistoryEnabled(true); console.setKeyMap(KeyMap.EMACS); out = new ConsoleWriter(console); context.attach(ConsoleWriter.class, out);