Method setSelectedText

app/src/processing/app/EditorTab.java:478–480

(String what)

  public void setSelectedText(String what) {
    textarea.replaceSelection(what);
  }

  public void setSelection(int start, int stop) {
    textarea.select(start, stop);