Gtk.Widget.prototype.get_margin_top

function get_margin_top():Number {
    // Gjs wrapper for gtk_widget_get_margin_top()
}