A property holding the rendered element’s margin as a gtk.Border The
margin is defined as the spacing between the border of the element
and its surrounding elements. It is external to gtk.Widget'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 gtk.Border The margin is defined as the spacing between the border of the element and its surrounding elements. It is external to gtk.Widget's size allocations, and the most external spacing property of the padding/border/margin series.