I did that as it was described in 994921, however nothing turned up. However, I did a clean re-install of my system (was on the brink of it already, ran into some config issues when moving to focal and decided that this LTS was a good moment).
Now the problem seems to be gone (at least, it doesn't have a 100% reproduction rate anymore), so I guess we must conclude that this was a config issue on my system. Although it could very well still be a bug in the system of course. I'll report back if I run into the same issue again. -- 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/1876802 Title: Gnome (on Xorg) crashes when disconnecting external monitor To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1876802/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
