Method copy

app/src/processing/app/syntax/JEditTextArea.java:1579–1593

Places the selected text into the clipboard.

()

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

      String selection = getSelectedText();
      if (selection != null) {
        int repeatCount = inputHandler.getRepeatCount();
        StringBuilder sb = new StringBuilder();
        for(int i = 0; i < repeatCount; i++)
          sb.append(selection);

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


  /**