get_margin


Description:

public Border get_margin ()

Gets the margin for a given state as a Border.

Parameters:

this

a StyleContext

margin

return value for the margin settings