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).
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).