Here’s a Cinnamon 1.2 video I’ve just recorded:
- significantly improved menu (you can press enter after a search to launch the first item; also, Administration and Preferences categories are back, like in Gnome 2)
- As we wrote in our previous post, Cinnamon now uses Muffin, a Mutter fork, as its window manager
- GNOME Shell themes are no longer compatible with Cinnamon
- The Overview has been replaced by a desktop Scale plugin (also triggered by CTRL + ALT + UP/DOWN). You can still switch between desktops by using the built-in panel desktop switcher or keyboard shortcuts (CTRL + ALT + LEFT/RIGHT)
Cinnamon 1.2 is not yet available in its Ubuntu PPAyet, so you’ll have to download it via GitHub (both Cinnamon and Muffin are required):
Or wait for the PPA to be ready.