Widget.setMarginStart

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

class Widget
void
setMarginStart
(
int margin
)

Parameters

margin int

the start margin

Meta

Since

3.12