Gtk.Settings.prototype.set_double_property

function set_double_property(name:String, v_double:Number, origin:String):void {
    // Gjs wrapper for gtk_settings_set_double_property()
}