Gio.Settings.prototype.get_double

function get_double(key: String): Number(gdouble) {
    // Gjs wrapper for g_settings_get_double()
}
  

Gets the value that is stored at key in settings.

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

Since 2.26