Widget.setMarginEnd

void setMarginEnd(int margin) nothrow

Sets the end margin of widget. See the #GtkWidget:margin-end property.

Parameters

marginthe end margin