Oh damn I just notitced that the ppa version is 3.2.2.1 as well. :( (Not Gnome-shell 3.4.) So if the modal + 3.2.2.1 didn't fix it it's either an other problem or it just doesn't work for you.
I can't recommend 3.4 as I don't know if it's really stable. Maybe waiting for the next Linux Mint version (based on Ubuntu 12.04) or Linux Mint DE http://blog.linuxmint.com/?p=1930 can fix it. :) (I will upgrade to this as soon as I have more free time as I like the idea of not needing to update the system in the Ubuntu rhymn anymore.) @fig: If the shell crashes you see your background. -- 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
