Widget.marginLeft

Get marginLeft property.

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

Return Value

Type: 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.