Hope this post isn't out of place, for all cinnamon themes where the menu is 'broken' by the new cinnamon (1.2.0), here is a quick fix.
In the cinnamon.css file:
First locate .menu section (should have in a comment above reading menu.js)
Change upto (but not including) #searchEntry
Where the identifier includes -menu but is preceeded by something else remove it i.e
.applications-menu-favorites-box -> .menu-favorites-box
Where the identifier does not include -menu add it i.e
.places-box -> .menu-places-box
If editing the theme in /usr/share/themes you need to edit the css file as root
if in home/user/.themes don't need to, as always back up the file in case of problems.
It seems to work, but I am not an expert, so please do not take this quick fix as gospel.