Gtk.PrintSettings.prototype.set_int

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