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