Gtk.Widget.get_margin_end – gtk4 Reference Manual
get_margin_end
Description:
public
int
get_margin_end
()
Gets the end margin of
this
.
Parameters:
this
a `GtkWidget`
Returns:
The end margin of
this
2022 vala-language.org