Method getPriority

app/src/processing/app/Theme.java:173–175

()

    }
    
    public int getPriority() {
      return this.priority;
    }
    
    public boolean isUserDefined() {
      return this.priority > PRIORITY_DEFAULT;