Settings.getDouble
double getDouble(string key)Gets the value that is stored at key in settings.
A convenience variant of [gio.settings.Settings.get] for doubles.
It is a programmer error to give a key that isn't specified as having a 'double' type in the schema for settings.
Parameters
key | the key to get the value for |
Returns
a double