Method isUserDefined

app/src/processing/app/Theme.java:177–179

()

    }
    
    public boolean isUserDefined() {
      return this.priority > PRIORITY_DEFAULT;
    }
    
    public boolean exists() {
      return this.zipEntry != null ||  this.file == null || this.file.exists();