JEditTextArea.java 文件源码

/**
 * Places the selected text into the clipboard.
 */
public void copy() {
    if (selectionStart != selectionEnd) {
        Clipboard clipboard = getToolkit().getSystemClipboard();

        String selection = getSelectedText();

        int repeatCount = inputHandler.getRepeatCount();
        StringBuffer buf = new StringBuffer();
        for (int i = 0; i < repeatCount; i++) {
            buf.append(selection);
        }

        clipboard.setContents(new StringSelection(buf.toString()), null);
    }
}