Gtk.Widget.prototype.get_margin_left

function get_margin_left():Number {
    // Gjs wrapper for gtk_widget_get_margin_left()
}