Gtk.Settings.set_double_property Reference Manual
Gtk.Settings.set_double_property:
Description:
public
void
set_double_property (
string
name,
double
v_double,
string
origin)
created by
valadoc