Method refreshAvailableThemes

app/src/processing/app/Theme.java:357–367

()

  }
  
  static private void refreshAvailableThemes() {
    Map<String, ZippedTheme> discoveredThemes = new TreeMap<>();
    
    refreshAvailableThemes(discoveredThemes, NAMESPACE_APP, new File(BaseNoGui.getContentFile("lib"), THEME_DIR));
    refreshAvailableThemes(discoveredThemes, NAMESPACE_USER, new File(BaseNoGui.getSketchbookFolder(), THEME_DIR));
    
    synchronized (availableThemes) {
      availableThemes.clear();
      availableThemes.putAll(discoveredThemes);
    }
  }

  static private void refreshAvailableThemes(Map<String, ZippedTheme> discoveredThemes, String namespace, File folder) {
    if (!folder.isDirectory()) {