Gtk.Widget.prototype.get_margin_top

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

Gets the value of the Gtk.margin-top property.

Since 3.0

Returns

The top margin of widget