Method openZipTheme

app/src/processing/app/Theme.java:349–355

()

  }
  
  static private ZippedTheme openZipTheme() {
    refreshAvailableThemes();
    String selectedTheme = PreferencesData.get("theme.file", "");
    synchronized(availableThemes) {
      return availableThemes.get(selectedTheme);
    }
  }
  
  static private void refreshAvailableThemes() {
    Map<String, ZippedTheme> discoveredThemes = new TreeMap<>();