Widget.setMarginEnd

void setMarginEnd(int margin)

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

Parameters

marginthe end margin