Method save

app/src/processing/app/Preferences.java:222–266

()

  static public void save() {
    // On startup, this is null, but ignore it. It's trying to update the
    // prefs for the open sketch before Preferences.init() has been called.
    if (preferencesFile != null) {
      try {
        File dir = preferencesFile.getParentFile();
        File preferencesTemp = File.createTempFile("preferences", ".txt", dir);
        if (!preferencesTemp.setWritable(true, false)) {
          throw new IOException("Could not set " + preferencesTemp + " writable");
        }

        // Fix for 0163 to properly use Unicode when writing preferences.txt
        PrintWriter writer = PApplet.createWriter(preferencesTemp);

        String[] keyList = table.keySet().toArray(new String[0]);
        // Sorting is really helpful for debugging, diffing, and finding keys
        keyList = PApplet.sort(keyList);
        for (String key : keyList) {
          writer.println(key + "=" + table.get(key)); //$NON-NLS-1$
        }
        writer.flush();
        writer.close();

        // Rename preferences.txt to preferences.old
        File oldPreferences = new File(dir, "preferences.old");
        if (oldPreferences.exists()) {
          if (!oldPreferences.delete()) {
            throw new IOException("Could not delete preferences.old");
          }
        }
        if (preferencesFile.exists() &&
            !preferencesFile.renameTo(oldPreferences)) {
          throw new IOException("Could not replace preferences.old");
        }
        // Make the temporary file into the real preferences
        if (!preferencesTemp.renameTo(preferencesFile)) {
          throw new IOException("Could not move preferences file into place");
        }

      } catch (IOException e) {
        Messages.showWarning("Preferences",
                             "Could not save the Preferences file.", e);
      }
    }
  }


  // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .