Gtk.Widget.margin – gtk+-3.0 Reference Manual
margin
Description:
[
NoAccessorMethod
]
[
Version
( since =
"3.0"
) ]
public
int
margin
{
get
;
set
; }
Sets all four sides' margin at once.
If read, returns max margin on any side.
2022 vala-language.org