/src/main/java/org/htmlunit/html/DoTypeProcessor.java
newValue.deleteCharAt( selectionStart - 1) ;newValue.replace( selectionStart, selectionEnd, string) ;
newValue.replace ( selectionStart, selectionEnd, string ) ;
private static void add(final StringBuilder newValue, final String string, final int selectionStart, final int selectionEnd) { if (selectionStart == newValue.length()) { newValue.append(string); } else { <extra_id_0> } } private void typeDone(final String newValue, final boolean notifyAttributeChangeListeners) { if (domNode_ instanceof DomText) { ((DomText) domNode_).setData(newValue); }