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