Source position: gnomedock.inc line 243
function gnome_dock_get_client_area(
dock: PGnomeDock
):PGtkWidget;