This code is in gnome-menus CVS. If there were to be a gnome-menus 2.14.1 release it would have this in it. -- add gmenu_tree_directory_get_desktop_file_path https://launchpad.net/bugs/40574