In attachment is a patch for *part* of this bug. I don't think it will prevent all crashes, but it will prevent some of them, specifically the ones happening when opening the menu (and maybe some others).
Please give feedback and indicate whether you are still experiencing some crashes (and if so, when). The when part is very important as it is what helps most in identifying the origin of the problem. ** Patch added: "mgse-menu.diff" https://bugs.launchpad.net/linuxmint/+bug/889706/+attachment/2618478/+files/mgse-menu.diff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/889706 Title: Gnome-shell randomly crashes To manage notifications about this bug go to: https://bugs.launchpad.net/linuxmint/+bug/889706/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
