Method getThemeZipEntry

app/src/processing/app/Theme.java:687–697

(String name)

  }
  
  static private ZipEntry getThemeZipEntry(String name) {
    if (zipTheme == null) {
      return null;
    }
    
    if (name.startsWith(THEME_DIR)) {
      name = name.substring(THEME_DIR.length());
    }
    
    return zipTheme.getZip().getEntry(name);
  }
  
  static private File getDefaultFile(String name) {
    return new File(BaseNoGui.getContentFile("lib"), name);