margin_top


Description:

[ Version ( since = "3.0" ) ]
public int margin_top { get; set; }

Margin on top 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 set_size_request for example.




2022 vala-language.org