Constant
GtkSTYLE_PROPERTY_MARGIN
since: 3.0
Description
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.
Available since: 3.0