gio:settings-int (settings key)

settings -- a g:settings object
key -- a string for the key to get the value for
value -- an integer for the value

Gets or sets the value that is stored at key in settings. It is a programmer error to give a key that is not specified as having an "i" type in the schema for settings.