Widget.marginLeft

Set marginLeft property.

More...
  1. int marginLeft [@property getter]
  2. int marginLeft [@property setter]
    class Widget
    @property
    void
    marginLeft
    ()

Parameters

propval int

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.

Detailed Description

Deprecated: Use #GtkWidget:margin-start instead.