Settings.getInt
int getInt(string key)Gets the value that is stored at key in settings.
A convenience variant of [gio.settings.Settings.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 settings.
Parameters
key | the key to get the value for |
Returns
an integer