Method renamedTo

arduino-core/src/processing/app/SketchFile.java:192–194

Should be called when this file was renamed and renameTo could not be used (e.g. when renaming the entire sketch directory).

(File what)

   * be used (e.g. when renaming the entire sketch directory).
   */
  protected void renamedTo(File what) {
    file = what;
  }

  /*
   * Returns the filename include extension.