Gtk.PageSetup.prototype.set_top_margin

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