Gtk.Widget:margin-left

"margin-left"             Number                : Read / Write

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.prototype.set_size_request for example.

Since 3.0