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