GNOME Bugzilla – Bug 67636
gnome_app_find_menu_pos() doesn't.
Last modified: 2004-12-22 21:47:04 UTC
gnome_app_find_menu_pos() was not working, due to a faulty optimisation. I'm not sure what changed since gnome-libs 1.2, but the problem is solved by removing the optimisation. This fixes gnome_app_insert_menus(), which uses it. I've posted this patch to gnome-libs-devel but received no reply.
Created attachment 6313 [details] [review] gnome_app_find_menu_pos fix.
Patch applied, approved by Anders.