Gtk.PageSetup.prototype.get_right_margin

function get_right_margin(unit:Gtk.Unit):Number {
    // Gjs wrapper for gtk_page_setup_get_right_margin()
}