/src/main/java/org/htmlunit/html/DoTypeProcessor.java
final boolean ctrlKey = element.isCtrlPressed ( ) ;
newValue.deleteCharAt(selectionStart - 1); selectionStart--; selectionEnd--; } } else if (acceptChar(c)) { <extra_id_0> if (ctrlKey && (c == 'C' || c == 'c')) { final ClipboardHandler clipboardHandler = element.getPage().getWebClient().getClipboardHandler(); if (clipboardHandler != null) { final String content = newValue.substring(selectionStart, selectionEnd); clipboardHandler.setClipboardContent(content); }