if (keyCode == KeyEvent.KEYCODE_TAB) { text.insert(editor.getSelectionStart(), "\t"); } else if (event.isCtrlPressed()) { int rawStart=editor.getSelectionStart(); int rawEnd=editor.getSelectionEnd(); int selStart=(rawStart>rawEnd ? rawEnd : rawStart); int selEnd