/src/main/java/org/htmlunit/html/DoTypeProcessor.java
selectionStart++; if ( selectionStart < newValue.length( ) ) {if ( element.isCtrlPressed( ) ) {
if ( element.isCtrlPressed ( ) ) { if ( selectionStart < newValue.length ( ) ) { selectionStart++;
} else if (selectionStart > 0) { selectionStart--; } break; case DOM_VK_RIGHT: <extra_id_0> } while (selectionStart < newValue.length() && newValue.charAt(selectionStart - 1) != ' ') { selectionStart++; } } else if (element.isShiftPressed()) {