get_margin

Description:

public Border get_margin ()

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

Note:

This api will be removed in GTK 5

Parameters:

this

a `GtkStyleContext`
margin

return value for the margin settings