/src/main/java/org/htmlunit/html/DoTypeProcessor.java
selectionEnd = selectionStart; selectionStart++;add( newValue, c, selectionStart, selectionEnd) ;
add ( newValue, c, selectionStart, selectionEnd ) ; selectionStart++; selectionEnd = selectionStart;
} else if (ctrlKey && (c == 'A' || c == 'a')) { selectionStart = 0; selectionEnd = newValue.length(); } else { <extra_id_0> } } typeDone(newValue.toString(), lastType); selectionDelegate.setSelectionStart(selectionStart); selectionDelegate.setSelectionEnd(selectionEnd); }