Actually, only about half of them were actually switched on -- the rest I had tried at some point, but since there is no "remove" option in Gnome Tweak they were still in the list. For now I had to roll back to 18.04 because of another problem, but I'll come back to 18.10 in a while and check on this issue again. Apparently no one else seems to be affected, so it may really be just an unfortunate combination of extensions.
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1796265 Title: Ubuntu Dock is missing after unlocking screen Status in gnome-shell package in Ubuntu: Incomplete Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Incomplete Bug description: After locking the screen, unlocking it again does not return me to a properly working gnome-shell. I can see the desktop background and the top panel (which is responsive). However I cannot access the activities overview, and the Ubuntu dock is missing. One time I noticed that the search field from the activities overview was visible, and it was possible to search for an application. The search did return results, and it was possible to start applications, but they did not show up on the screen. In some cases I could run gnome-shell -r, but this would end the whole session and return me to the login screen. ProblemType: Bug DistroRelease: Ubuntu 18.10 Package: gnome-shell 3.30.0-3ubuntu1 ProcVersionSignature: Ubuntu 4.18.0-8.9-generic 4.18.7 Uname: Linux 4.18.0-8-generic x86_64 ApportVersion: 2.20.10-0ubuntu11 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Fri Oct 5 12:44:13 2018 DisplayManager: gdm3 EcryptfsInUse: Yes InstallationDate: Installed on 2017-07-03 (458 days ago) InstallationMedia: Ubuntu-GNOME 17.04 "Zesty Zapus" - Release amd64 (20170412) SourcePackage: gnome-shell UpgradeStatus: Upgraded to cosmic on 2018-10-05 (0 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1796265/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp