Gtk.Widget.prototype.set_margin_right

function set_margin_right(margin:Number):void {
    // Gjs wrapper for gtk_widget_set_margin_right()
}