This bug does not occur with Cinnamon 2.0.14 on Ubuntu 13.10. A workaround is to add
deb http://ppa.launchpad.net/gwendal-lebihan-dev/cinnamon-stable/ubuntu saucy main to your repositories. One word of caution though: When I did that, I lost a lot of my settings. This required delving into dconf-editor to repair, because Cinnamon's preferences GUI on Ubuntu is rather confusing. (For instance, in my Preference menu, there are two entries for several items including "Displays" and "Sound".) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1266336 Title: Cinnamon desktop hangs when selecting menu To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/cinnamon/+bug/1266336/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs