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 [ method@Gtk.Widget.set_size_request] for example.