I am facing a similar issue in Ubuntu 18.04. I have to do alt-tab couple
of times to make it work.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1181666
Title:
gnome-shell randomly
*** This bug is a duplicate of bug 1712866 ***
https://bugs.launchpad.net/bugs/1712866
Same issue for me on ubuntu 18.04 :(
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell-extension-appindicator
in Ubuntu.
https://bugs