Gio.Settings.prototype.get_int

function get_int(key: String): Number(gint) {
    // Gjs wrapper for g_settings_get_int()
}
  

Gets the value that is stored at key in settings.

A convenience variant of Gio.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.

Since 2.26