Widget.setMarginRight

void setMarginRight(int margin)

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

Parameters

marginthe right margin

Deprecated

Use [gtk.widget.Widget.setMarginEnd] instead.