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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1796265 Title: Ubuntu Dock is missing after unlocking screen To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1796265/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs