getIntWithDefault
open fun getIntWithDefault(key: String, def: <Error class: unknown class>): <Error class: unknown class>
Returns the value of @key, interpreted as an integer, or the default value.
Return
the integer value of @key
Parameters
key
a key
def
the default value