Widget.getMarginEnd

int getMarginEnd()

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

Returns

The end margin of widget