Source position: gnomedock.inc line 222
procedure gnome_dock_band_set_child_offset(
band: PGnomeDockBand;
child: PGtkWidget;
offset: guint
);