Source position: gnomeapphelper.inc line 113
function GNOMEUIINFO_MENU_HELP_TREE(
tree: gpointer
):TGnomeUIInfo;