StyleContext.getMargin
void getMargin(gtk.types.StateFlags state, out gtk.border.Border margin)Gets the margin for a given state as a #GtkBorder. See gtk_style_property_get() and #GTK_STYLE_PROPERTY_MARGIN for details.
Parameters
state | state to retrieve the border for |
margin | return value for the margin settings |