/src/main/java/org/htmlunit/html/DoTypeProcessor.java
selectionEnd = selectionStart; newValue.delete( selectionStart, selectionEnd) ;clipboardHandler.setClipboardContent( content) ;
clipboardHandler.setClipboardContent ( content ) ; newValue.delete ( selectionStart, selectionEnd ) ; selectionEnd = selectionStart;
} } else if (ctrlKey && (c == 'X' || c == 'x')) { final ClipboardHandler clipboardHandler = element.getPage().getWebClient().getClipboardHandler(); if (clipboardHandler != null) { final String content = newValue.substring(selectionStart, selectionEnd); <extra_id_0> } } else if (ctrlKey && (c == 'A' || c == 'a')) { selectionStart = 0; selectionEnd = newValue.length(); }