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