get_margin
Description:
Gets the margin for a given state as a Border.
See gtk_style_property_get
and STYLE_PROPERTY_MARGIN for
details.
Parameters:
this | |
state |
state to retrieve the border for |
margin |
return value for the margin settings |