Widget.setMarginLeft

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

More...
class Widget
void
setMarginLeft
(
int margin
)

Parameters

margin int

the left margin

Detailed Description

Deprecated: Use gtk.widget.Widget.setMarginStart instead.