Gtk.PrintSettings.prototype.set_page_set

function set_page_set(page_set:Gtk.PageSet):void {
    // Gjs wrapper for gtk_print_settings_set_page_set()
}