Method getInteger

app/src/processing/app/Theme.java:407–409

(String attribute)

  }

  static public int getInteger(String attribute) {
    return Integer.parseInt(get(attribute));
  }

  static public void setInteger(String key, int value) {
    set(key, String.valueOf(value));