/** * Writes output into the text area. */ public synchronized void write(String str) { insert(str, outputMark); int len = str.length(); outputMark += len; select(outputMark, outputMark); }
/** * Writes output into the text area. */ public synchronized void write(String str) { insert(str, outputMark); int len = str.length(); outputMark += len; select(outputMark, outputMark); }
/** * Writes output into the text area. */ public synchronized void write(String str) { insert(str, outputMark); int len = str.length(); outputMark += len; select(outputMark, outputMark); }
/** * Attempts to clean up the damage done by {@link #updateUI()}. */ public synchronized void postUpdateUI() { //requestFocus(); setCaret(getCaret()); select(outputMark, outputMark); }
/** * Attempts to clean up the damage done by {@link #updateUI()}. */ public synchronized void postUpdateUI() { //requestFocus(); setCaret(getCaret()); select(outputMark, outputMark); }
/** * Attempts to clean up the damage done by {@link #updateUI()}. */ public synchronized void postUpdateUI() { //requestFocus(); setCaret(getCaret()); select(outputMark, outputMark); }