Method replace

app/src/processing/app/ui/FindReplace.java:404–412

Replace the current selection with whatever is in the replacement text field.

(boolean isCompoundEdit)

   * replacement text field.
   */
  public void replace(boolean isCompoundEdit) {
    editor.setSelectedText(replaceField.getText(), isCompoundEdit);

    // This necessary because calling replace()
    // doesn't seem to mark a sketch as modified
    editor.getSketch().setModified(true);

    setFound(false);
  }


  /**