Widget.getMarginTop

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

class Widget
int
getMarginTop
()

Return Value

Type: int

The top margin of @widget

Meta