public synchronized void insertChar(char c) {
if (c == KeyEvent.CHAR_UNDEFINED) return;
if (selectionActivated) deleteSelection();
text.insert(getCaretLocation().toIndex(getLines()), c);
clearCache();
setCaretLocation(getCaretLocation().moved(getLines(), 1));
}
public void pasteClipboard() {
String clipboard = getClipboardContents();
if (clipboard != null && clipboard.length() > 0) {
int caretIndex = caretLocation.toIndex(getLines());
synchronized (this) {
text.insert(caretIndex, clipboard);
clearCache();
}
setCaretLocation(TextLocation.fromIndex(getLines(), caretIndex + clipboard.length()));
}
}