Source position: gnomeapphelper.inc line 108
function GNOMEUIINFO_MENU_EDIT_TREE(
tree: gpointer
):TGnomeUIInfo;