Comment 4 for bug 662077

Does anybody know if this is really an appmenu-gtk problem or a bug in wxWidgets itself? As a wx developer I'd be interested in looking at this if it's the latter but I can't find much information about the whole menu proxy stuff which seems to be completely Ubuntu-specific. What exactly is needed, at GTK+ level, for menu proxying to work? We don't seem to do anything obviously wrong in our menu code which just uses the usual GTK menu functions. Thanks in advance for any ideas (or even pointers to better places for discussing this).