Comment 14 for bug 610234

Revision history for this message
Andreas Grois (soulsource) wrote :

That's clear. Still this is only a workaround. By the way, one needn't uninstall the global menu, one can simply disable it temporarily by unsetting the environment variable UBUNTU_MENUPROXY.