Method getDefault

app/src/processing/app/Theme.java:391–393

(String attribute)

  }

  static public String getDefault(String attribute) {
    return defaults.get(attribute);
  }

  static public void set(String attribute, String value) {
    table.put(attribute, value);