Method renameTo

app/src/processing/app/SketchCode.java:117–125

(File what, String ext)

  protected boolean renameTo(File what, String ext) {
    boolean success = file.renameTo(what);
    if (success) {
      // reassign file because renameTo() (ironically?) does not update
      this.file = what;
      this.extension = ext;
    }
    return success;
  }


  public void copyTo(File dest) throws IOException {