Method replace

app/src/processing/app/ui/FindReplace.java:426–433

Replace the current selection with whatever's in the replacement text field. @param isCompoundEdit True if the action is to be marked as a copmound edit

(boolean isCompoundEdit)

 * @param isCompoundEdit True if the action is to be marked as a copmound edit
 */
  public void replace(boolean isCompoundEdit) {
    editor.setSelectedText(replaceField.getText(), isCompoundEdit);

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

    setFound(false);
  }


  /**