/src/main/java/org/htmlunit/html/DoTypeProcessor.java
} selectionStart = newValue.length( ) ;
selectionStart = newValue.length ( ) ; }
break; case DOM_VK_END: if (element.isShiftPressed()) { selectionEnd = newValue.length(); } else { <extra_id_0> break; case DOM_VK_DELETE: if (selectionEnd == selectionStart) { selectionEnd++; } newValue.delete(selectionStart, selectionEnd);