Source position: gnomeapphelper.inc line 107
function GNOMEUIINFO_MENU_FILE_TREE(
tree: gpointer
):TGnomeUIInfo;