margin_left


Description:

[ Version ( deprecated = true , since = "3.0" , deprecated_since = "3.12" ) ]
public int margin_left { get; set; }

Warning: margin_left is deprecated since "3.12".

Margin on left side of widget.

Note:

Use margin_start instead.

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