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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
