Gtk.Widget.prototype.set_margin_bottom

function set_margin_bottom(margin:Number):void {
    // Gjs wrapper for gtk_widget_set_margin_bottom()
}