get_int
Description:
[ Version ( since = "2.26" ) ]
public int get_int (string key)
Gets the value that is stored at key in this.
A convenience variant of @get for 32-bit integers.
It is a programmer error to give a key that isn't specified as having a int32 type in the schema for
this.
Parameters:
| this |
a Settings object
|
| key |
the key to get the value for
|
Returns: