Source position: gnomeapphelper.inc line 109
function GNOMEUIINFO_MENU_VIEW_TREE(
tree: gpointer
):TGnomeUIInfo;