margin_end


Description:

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 [ [email protected]_size_request] for example.




2022 vala-language.org