Source position: gtkbbox.pp line 47
procedure gtk_button_box_set_spacing(
widget: PGtkButtonBox;
spacing: gint
);