setFocusTraversalKeysEnabled(false);
setFont(new Font("Monospaced", Font.PLAIN, 12));
setLineWrap(true);
this.printStream = new JTextComponentPrintStream(this, true);
this.completionHandler = new DefaultCompletionHandler();
this.inputStream = new JTextComponentInputStream2(this);
addCaretListener(new CaretListener() {
public void caretUpdate(CaretEvent e) {
if (! duringMousePressed) {
lastDot = e.getDot();