Gtk.Widget.set_margin_top – gtk+-3.0 Reference Manual
set_margin_top
Description:
[
Version
( since =
"3.0"
) ]
public
void
set_margin_top
(
int
margin)
Sets the top margin of
this
.
See the
margin_top
property.
Parameters:
this
a
Widget
margin
the top margin
2022 vala-language.org