Source position: gnomehelp.inc line 12
procedure gnome_help_display(
ignore: pointer;
ref: PGnomeHelpMenuEntry
);