Source position: gnomedock.inc line 217
procedure gnome_dock_band_set_orientation(
band: PGnomeDockBand;
orientation: TGtkOrientation
);