Source position: gtkbbox.pp line 50
procedure gtk_button_box_set_child_ipadding(
widget: PGtkButtonBox;
ipad_x: gint;
ipad_y: gint
);