/src/main/java/org/htmlunit/html/DoTypeProcessor.java
if ( c == 'c') {
if ( c == '\b' ) {
final char c, final HtmlElement element, final boolean lastType) { int selectionStart = selectionDelegate.getSelectionStart(); selectionStart = Math.max(0, Math.min(selectionStart, currentValue.length())); int selectionEnd = selectionDelegate.getSelectionEnd(); selectionEnd = Math.max(selectionStart, Math.min(selectionEnd, currentValue.length())); final StringBuilder newValue = new StringBuilder(currentValue); <extra_id_0> if (selectionStart > 0) { newValue.deleteCharAt(selectionStart - 1); selectionStart--; selectionEnd--; } }