Settings.setDouble

Sets key in settings to value.

A convenience variant of gio.settings.Settings.set 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.

class Settings
bool
setDouble
(
string key
,
double value
)

Parameters

key string

the name of the key to set

value double

the value to set it to

Return Value

Type: bool

true if setting the key succeeded, false if the key was not writable