Comment 3 for bug 1242937

Revision history for this message
William Hua (attente) wrote :

Hi Jacob, I looked at this a bit more and it seems like it won't be possible to fix this bug using ubuntu-local (this would require a distro patch on GTK+ to support). If I could propose an alternate solution, we could instead try to blacklist freeciv from having global menus entirely (the same effect as specifying UBUNTU_MENUPROXY= on the command line).