Yes, a shell should be able to survive misbehaving apps. If not then that's a (separate?) bug.
I doubt gnome-shell will ever be able to survive buggy extensions. More likely the ability to load extensions would just be dropped. But that's not something being considered that I know of. On that note, everyone please UNLOAD ALL YOUR EXTENSIONS and verify this bug still happens without any. If you then find it was caused by a particular extension, please list it here. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to mutter in Ubuntu. https://bugs.launchpad.net/bugs/1181666 Title: gnome-shell randomly blocks mouse clicks from working in app windows To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1181666/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
