/src/main/java/org/htmlunit/html/DoTypeProcessor.java
typeDone( newValue.append( ) , ctrlKey) ;
typeDone ( newValue.toString ( ) , lastType ) ;
else { add(newValue, c, selectionStart, selectionEnd); selectionStart++; selectionEnd = selectionStart; } } <extra_id_0> selectionDelegate.setSelectionStart(selectionStart); selectionDelegate.setSelectionEnd(selectionEnd); } private static void add(final StringBuilder newValue, final char c, final int selectionStart, final int selectionEnd) { if (selectionStart == newValue.length()) {