Method getSettingsFile

arduino-core/src/processing/app/BaseNoGui.java:284–286

Convenience method to get a File object for the specified filename inside the settings folder. For now, only used by Preferences to get the preferences.txt file. @param filename A file inside the settings folder. @return filename wrapped as a File object inside the settings folder

(String filename)

   * @return filename wrapped as a File object inside the settings folder
   */
  static public File getSettingsFile(String filename) {
    return new File(getSettingsFolder(), filename);
  }

  static public File getSettingsFolder() {
    if (getPortableFolder() != null)