Gtk.Widget.prototype.set_margin_top

function set_margin_top(margin:Number):void {
    // Gjs wrapper for gtk_widget_set_margin_top()
}