Widget.getMarginTop

int getMarginTop() nothrow

Gets the value of the #GtkWidget:margin-top property.

Returns

The top margin of widget