Source position: lazgtk3.pas line 18726
procedure gtk_widget_set_margin_left(
widget: PGtkWidget;
margin: gint
);