Widget.setMarginLeft

void setMarginLeft(int margin)

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

Parameters

margin the left margin

Deprecated

Use gtk.widget.Widget.setMarginStart instead.