Source position: gtkiconview.inc line 75
procedure gtk_icon_view_set_margin(
icon_view: PGtkIconView;
margin: gint
);