Gtk.Widget.get_margin_end – gtk+-3.0 Reference Manual
get_margin_end
Description:
[
Version
( since =
"3.12"
) ]
public
int
get_margin_end
()
Gets the value of the
margin_end
property.
Parameters:
this
a
Widget
Returns:
The end margin of
this
2022 vala-language.org