/src/main/java/org/htmlunit/html/DoTypeProcessor.java
typeDone( lastType.toString( ) , newValue) ;
typeDone ( newValue.toString ( ) , lastType ) ;
default: return; } if (!element.isShiftPressed()) { selectionEnd = selectionStart; } <extra_id_0> selectionDelegate.setSelectionStart(selectionStart); selectionDelegate.setSelectionEnd(selectionEnd); } }