Gtk.Widget.set_margin_start – gtk4 Reference Manual
set_margin_start
Description:
public
void
set_margin_start
(
int
margin)
Sets the start margin of
this
.
Parameters:
this
a `GtkWidget`
margin
the start margin
2022 vala-language.org