[ 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.
| this | |
| state |
state to retrieve the border for |
| margin |
return value for the margin settings |