Method setText

app/src/processing/app/ui/Editor.java:1632–1636

Replace the entire contents of the front-most tab. Note that this does a compound edit, so internal callers may want to use textarea.setText() if this is part of a larger compound edit.

(String what)

   * if this is part of a larger compound edit.
   */
  public void setText(String what) {
    startCompoundEdit();
    textarea.setText(what);
    stopCompoundEdit();
  }


  public void insertText(String what) {