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