Widget.getMarginTop

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

Return: The top margin of @widget

class Widget
int
getMarginTop
()

Meta