Editor(Console console, boolean echo) { // EditorBuffer buffer = new EditorBuffer(echo ? console.driver : NULL); // this.console = console; this.buffer = buffer; this.visitor = new MultiLineVisitor(); this.lineParser = new LineParser(visitor); this.history = new LinkedList<String>(); this.historyCursor = -1; this.historyBuffer = null; this.killBuffer = new StringBuilder(); this.mode = Mode.EMACS; this.modeListeners = new ArrayList<Runnable>(); }
private void resetConsole() { buffer = new EditorBuffer(client = new SimpleConsoleDriver(getSupportsCursorMove())); }
Editor(Console console, boolean echo) { // EditorBuffer buffer = new EditorBuffer(echo ? console.driver : NULL); // this.console = console; this.buffer = buffer; this.visitor = new MultiLineVisitor(); this.lineParser = new LineParser(visitor); this.history = new LinkedList<String>(); this.historyCursor = -1; this.historyBuffer = null; this.killBuffer = new StringBuilder(); this.mode = Mode.EMACS; this.modeListeners = new ArrayList<Runnable>(); }
Editor(Console console, boolean echo) { // EditorBuffer buffer = new EditorBuffer(echo ? console.driver : NULL); // this.console = console; this.buffer = buffer; this.visitor = new MultiLineVisitor(); this.lineParser = new LineParser(visitor); this.history = new LinkedList<String>(); this.historyCursor = -1; this.historyBuffer = null; this.killBuffer = new StringBuilder(); this.mode = Mode.EMACS; this.modeListeners = new ArrayList<Runnable>(); }