Looking at Cinnamon's github there are a few interesting improvements coming:
- Cinnamon Settings (
https://github.com/linuxmint/cinnamon-settings)
- Themes tab removed from the overview into Cinnamon Settings (
https://github.com/linuxmint/Cinnamon/tree/master/js)
- Added themes (
https://github.com/linuxmint/cinnamon-themes)
- Added extensions (
https://github.com/linuxmint/cinnamon-extensions) - "added" as in available for easy switching on through Cinnamon Settings, I guess
- Mint Menu will work as a semantic application launcher, meaning you can press the windows key, type the name of the app you want and press enter to launch it when it's on top of the filtered list. The slower and much more popular method of using a mouse will still be there, don't worry
Aceness all round!
Gotta say I'm running completely dry of complaints over Cinnamon. It's more stable than Gnome Shell, bugs and missing features are sorted out quickly, extensions are being added as is a Cinnamon tweak tool and there's still plenty of time until Mint 13 is released to make it even better. Only thing missing for me is integration with zeitgeist so you can quickly launch recent files/folders from the menu search box. And changing window theme, but that's bound to come at some point.
Thank you for this thread. That’s all I can say. You most definitely have made this forum into something special. You clearly know what you are doing, you’ve covered so many bases. Thanks!