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