Source position: gnomepopuphelp.inc line 3
procedure gnome_widget_add_help(
widget: PGTKWidget;
help: PGChar
);