@Mao, what distro and gnome version do you have (i don't think you still use Mint 12)? The PPA version worked for Ubuntu 12.04 (default had this bug), and Fedora's default works for me.
Cinnamon is just a Gnome fork with some extensions and a new theme, so you may see this bug. If you did not, try the latest Shell, it may work. -- 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/gnome-shell/+bug/889706/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
