Source position: gnomedock.inc line 242
procedure gnome_dock_set_client_area(
dock: PGnomeDock;
widget: PGtkWidget
);