Method updateNameProperties

app/src/processing/app/Sketch.java:1329–1352

()

  private void updateNameProperties() {
    // If the main file and the sketch name are not identical,
    // update sketch.properties.
    String mainName = mainFile.getName();
    String defaultName = name + "." + mode.getDefaultExtension();
    //System.out.println("main name is " + mainName + " and default name is " + defaultName);

    try {
      // Read the old sketch.properties file if it already exists
      Settings props = loadProperties(folder);

      if (mainName.equals(defaultName)) {
        props.remove("main");
      } else {
        props.set("main", mainName);
      }
      //System.out.println("props size is now " + props.getMap().size());
      props.reckon();

    } catch (IOException e) {
      System.err.println("Error while updating sketch.properties");
      e.printStackTrace();
    }
  }


  /**