Method renameTo

app/src/processing/app/SketchCode.java:126–136

(File what, String ext)

  protected boolean renameTo(File what, String ext) {
//    System.out.println("renaming " + file);
//    System.out.println("      to " + what);
    boolean success = file.renameTo(what);
    if (success) {
      this.file = what;  // necessary?
      this.extension = ext;
      makePrettyName();
    }
    return success;
  }


  public void copyTo(File dest) throws IOException {