ThemingEngine.getMargin

void getMargin(gtk.types.StateFlags state, out gtk.border.Border margin)

Gets the margin for a given state as a #GtkBorder.

`state`	state to retrieve the border for
`margin`	return value for the margin settings