get_margin


Description:

[ Version ( deprecated = true , deprecated_since = "3.14" , since = "3.0" ) ]
public Border get_margin (StateFlags state)

Warning: get_margin is deprecated since 3.14.

Gets the margin for a given state as a Border.

Parameters:

this

a ThemingEngine

state

state to retrieve the border for

margin

return value for the margin settings