Widget.getMarginEnd

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

Return: The end margin of @widget

class Widget
int
getMarginEnd
()

Meta

Since

3.12