Source position: gnomedock.inc line 223
function gnome_dock_band_get_child_offset(
band: PGnomeDockBand;
child: PGtkWidget
):guint;