Term.java 文件源码

/**
 * Transfer selected text into clipboard.
 */
public void copyToClipboard() {
    String text = sel.getSelection();
    if (text != null) {
        StringSelection ss = new StringSelection(text);
        systemClipboard.setContents(ss, sel);
    }
}