[ Version ( since = "3.12" ) ]
public int margin_end { get; set; }
Margin on end of widget, horizontally.
This property supports left-to-right and right-to-left text directions.
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.