Settings.setInt

Sets key in settings to value.

A convenience variant of gio.settings.Settings.set 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.

class Settings
bool
setInt
(
string key
,
int value
)

Parameters

key string

the name of the key to set

value int

the value to set it to

Return Value

Type: bool

true if setting the key succeeded, false if the key was not writable