STYLE_PROPERTY_MARGIN

Description:

[ CCode ( cname = "GTK_STYLE_PROPERTY_MARGIN" ) ]
public const string STYLE_PROPERTY_MARGIN

A property holding the rendered element’s margin as a Border.

The margin is defined as the spacing between the border of the element and its surrounding elements. It is external to Widget's size allocations, and the most external spacing property of the padding/border/margin series.

Namespace: Gtk

Package: gtk+-3.0