Widget.setMarginStart

void setMarginStart(int margin)

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

Parameters

marginthe start margin