A property holding the rendered element’s margin as a #GtkBorder. The
margin is defined as the spacing between the border of the element
and its surrounding elements. It is external to #GtkWidget's
size allocations, and the most external spacing property of the
padding/border/margin series.
A property holding the rendered element’s margin as a #GtkBorder. The margin is defined as the spacing between the border of the element and its surrounding elements. It is external to #GtkWidget's size allocations, and the most external spacing property of the padding/border/margin series.