Source position: gnomeapphelper.inc line 112
function GNOMEUIINFO_MENU_WINDOWS_TREE(
tree: gpointer
):TGnomeUIInfo;