Method reload

app/src/processing/app/ui/Theme.java:89–102

Pull in the version from the user's sketchbook folder, or if none exists, use the setting from preferences.

()

   * or if none exists, use the setting from preferences.
   */
  static public void reload() {
    if (!loadSketchbookFile()) {
      String prefTheme = Preferences.get("theme");
      try {
        File prefFile = new File(getThemeFolder(), prefTheme);
        if (prefFile.exists()) {
          theme.load(prefFile);
        }
      } catch (IOException e) {
        Messages.showWarning("Theme Reload Problem",
          "Error while reloading the theme. Please report.", e);
      }
    }
  }


  /**