Settings.getInt64

long getInt64(string key)

Gets the value that is stored at key in settings.

A convenience variant of [gio.settings.Settings.get] for 64-bit integers.

It is a programmer error to give a key that isn't specified as having a int64 type in the schema for settings.

Parameters

keythe key to get the value for

Returns

a 64-bit integer