Settings.setInt

bool setInt(string key, int value)

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.

Parameters

keythe name of the key to set
valuethe value to set it to

Returns

true if setting the key succeeded,

false if the key was not writable