[ Version ( deprecated = true , deprecated_since = "3.12" , since = "3.0" ) ]
public int margin_right { get; set; }
Warning: margin_right is deprecated since 3.12.
Margin on right side of widget.
Use margin_end 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.