problem disappeared after https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1850969 has been fixed
problem disappeared after https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bug/1850969 has been fixed