Thanks to the developper team, the still unofficial gnome-globalmenu does not require anymore patching gtk. I am not sure from which version.. Probably 0.6 . It now provides a simple library + a gnome-panel applet. This bug should be closed. Regards, -- Pierre-Yves Luyten