Method getThemeResource

app/src/processing/app/Theme.java:653–668

@param name @return

(String name)

   * @return
   */
  static public Resource getThemeResource(String name) {
    File defaultfile = getDefaultFile(name);
    Resource resource = new Resource(Resource.PRIORITY_DEFAULT, name, getUrl(defaultfile), defaultfile);
    
    ZipEntry themeZipEntry = getThemeZipEntry(name);
    if (themeZipEntry != null) {
      resource = new Resource(Resource.PRIORITY_USER_ZIP, name, getUrl(themeZipEntry), zipTheme, themeZipEntry).withParent(resource);
    }
    
    File themeFile = getThemeFile(name);
    if (themeFile != null) {
      resource = new Resource(Resource.PRIORITY_USER_FILE, name, getUrl(themeFile), themeFile).withParent(resource);
    }
    
    return resource;
  }
  
  static private File getThemeFile(String name) {
    File sketchBookThemeFolder = new File(BaseNoGui.getSketchbookFolder(), THEME_DIR);