Widget.getMarginEnd

int getMarginEnd() nothrow

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

Returns

The end margin of widget