Source position: gnomepopuphelp.inc line 5
procedure gnome_widget_add_help_with_uidata(
widget: PGtkWidget;
help: Pgchar;
menuinfo: PGnomeUIInfo;
user_data: gpointer
);