I think it might have been something wrong with my wireless mouse,
because it also caused some issues with the window manager on Macs. I
have a set of Microsoft keyboard and mouse, and when I used the mouse on
Mac, it caused some issues with highlighting of menu items. When I
replaced it with a dif
Have recently faced the same issue on Ubuntu 18.04. It occurs rather
frequently, sometimes, within ten minutes. Previously, it has never
occurred. Same message is printed in the logs.
Upgrade to Ubuntu 20.04, which ships GNOME Shell 3.36.2, did not help.
There is an immediate workaround, document
