/src/main/java/org/htmlunit/html/DoTypeProcessor.java
if ( selectionStart > 0 ) { newValue.deleteCharAt ( selectionStart - 1 ) ; selectionStart--; selectionEnd--; }
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); if (c == '\b') { <extra_id_0> } else if (acceptChar(c)) { final boolean ctrlKey = element.isCtrlPressed(); if (ctrlKey && (c == 'C' || c == 'c')) { final ClipboardHandler clipboardHandler = element.getPage().getWebClient().getClipboardHandler(); if (clipboardHandler != null) {