GtkSettings::set_double_property

void set_double_property(string name, double v_double, string origin);