help with fixing GNOME menu disapperance bug

[Bill Allombert <allomber@math.u-bordeaux.fr>]

tags 334941 help
quit

Hello GNOME users and developers,

There are quite a few report of a bug that cause GNOME menus
to disappear and that is linked to menu-xdg (bug #334941).

Unfortunately I had never been able to reproduce it and menu-xdg
does not do anything fancy so I suspect the bug is not entirely 
in menu-xdg.

If by chance you have a deterministic way to trigger this bug in
a fresh installation, please tell me that will help me a lot.

Thanks in advance for your support,
Bill.