Seemingly randomly, on several different machines, the global menus for all applications stop working. Ubuntu Mate 18.04 LTS, Cupertino layout. When one goes, they all go, and the top panel shows only the Desktop menu.
Logging out and back in “solves” the problem temporarily.
- Is this a known problem?
- How can I provide useful information to assist in a fix?
- In the meantime, can the global menu app be restarted without logging out?
(I think it is mate-applet-appmenu, but I’m not sure of that).
Charles Nix