Widget.marginLeft

int marginLeft() @property

Get marginLeft property.

Returns

Margin on left side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from [gtk.widget.Widget.setSizeRequest] for example.

Deprecated

Use #GtkWidget:margin-start instead.

void marginLeft(int propval) @property

Set marginLeft property.

Parameters

propval Margin on left side of widget. This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from [gtk.widget.Widget.setSizeRequest] for example.

Deprecated

Use #GtkWidget:margin-start instead.