Gtk.Alignment.top_padding – gtk+-3.0 Reference Manual
top_padding
Description:
[
NoAccessorMethod
]
[
Version
( since =
"2.4"
) ]
public
uint
top_padding
{
get
;
set
; }
The padding to insert at the top of the widget.
Note:
Use
set_margin_top
instead
2022 vala-language.org