Widget.getMarginTop

int getMarginTop()

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

Returns

The top margin of widget