[ Version ( since = "3.0" ) ]
public Border get_margin (StateFlags state)
Gets the margin for a given state as a `GtkBorder`.
This api will be removed in GTK 5
| this |
a `GtkStyleContext` |
| margin |
return value for the margin settings |