Source position: gnomeapphelper.inc line 114
function GNOMEUIINFO_MENU_GAME_TREE(
tree: gpointer
):TGnomeUIInfo;