Gtk.PageSetup.prototype.set_right_margin

function set_right_margin(margin:Number, unit:Gtk.Unit):void {
    // Gjs wrapper for gtk_page_setup_set_right_margin()
}