Gtk.Widget.prototype.set_margin_left

function set_margin_left(margin:Number):void {
    // Gjs wrapper for gtk_widget_set_margin_left()
}