Method getThemeFile

app/src/processing/app/Theme.java:670–685

(String name)

  }
  
  static private File getThemeFile(String name) {
    File sketchBookThemeFolder = new File(BaseNoGui.getSketchbookFolder(), THEME_DIR);
    File themeFile = new File(sketchBookThemeFolder, name);
    if (themeFile.exists()) {
      return themeFile;
    }
    
    if (name.startsWith(THEME_DIR)) {
      themeFile = new File(sketchBookThemeFolder, name.substring(THEME_DIR.length()));
      if (themeFile.exists()) {
        return themeFile;
      }
    }
    
    return null;
  }
  
  static private ZipEntry getThemeZipEntry(String name) {
    if (zipTheme == null) {