Widget.setMarginLeft

void setMarginLeft(int margin)

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

Parameters

marginthe left margin

Deprecated

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