Source position: gnomedock.inc line 224
procedure gnome_dock_band_move_child(
band: PGnomeDockBand;
old_child: PGList;
new_num: guint
);