Method setLineText

app/src/processing/app/ui/Editor.java:1718–1723

Replace the text on a specified line.

(int line, String what)

   * Replace the text on a specified line.
   */
  public void setLineText(int line, String what) {
    startCompoundEdit();
    textarea.select(getLineStartOffset(line), getLineStopOffset(line));
    textarea.setSelectedText(what);
    stopCompoundEdit();
  }


  /**