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 Bugs, which is subscribed to 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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
