Norbert, please open a new bug for your Ubuntu 17.10 issue. I recommend running
ubuntu-bug gnome-shell
Norbert, please open a new bug for your Ubuntu 17.10 issue. I recommend running
ubuntu-bug gnome-shell