I'm sure the discussion has been held elsewhere, and there's been made a
case against sandboxing them or handling their crashes, as lack of
freedom would defeat the very purpose of these extensions?

At any rate I'm happy to have reached a solution. 3 monitor unplugs
without crashes convinces me that that was the problem. Many thanks for
your intervention!

I don't miss the Dock very much but it'd be interesting to see where it
has been patched and when to expect it in a release. Is there any info
on that? On the bug you shared, it only says "fix committed" but I am
too dumb to find out where I can see the code change.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1952766

Title:
  Disconnecting monitor crashes shell (wayland, gnome)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1952766/+subscriptions


-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to