Gtk.PrintSettings.prototype.set_double

function set_double(key:String, value:Number):void {
    // Gjs wrapper for gtk_print_settings_set_double()
}