Widget.getMarginEnd

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

class Widget
int
getMarginEnd
()

Return Value

Type: int

The end margin of @widget

Meta

Since

3.12