I've been having problems with Cinnamon from the beginning, and while I've decided to bear with it for the most part, these two issues are tempting me back to MATE.
First is the Muffin problem. Basically my desktop "lags" whenever I move a window. eg. If I move a nemo window, the window follows after my mouse a second later. It isn't just nemo though; this happens with any and all windows unless the window manager crashes, in which case there's no issue (apart from rendering the DE and many applications unusable).
This happens in both Cinnamon 2D and 3D. It also happens regardless of the Nvidia or Xorg driver I use.
The second issue is with Cinnamon not being recognized by applications. For example, Ubuntu Tweak recognizes the distribution as nadia, but the DE as: "Unknown (cinnamon)". System Information (hardinfo) lists the Desktop Environment as "Unknown (Window Manager: Mutter (Muffin))".
This only really concerns me because of a problem I'm now having with android-notifier-desktop. It complains that Java, android-notifier-desktop and my OS must be of the same architecture, and (presumably) because it can't identify Cinnamon correctly, it believes that they are not. I would think of it as a problem with android-notifier-desktop, but the error only occurs on Cinnamon; the application works beautifully on MATE, XFCE, etc.
Neither issue is present on MATE, Gnome Shell, KDE, XFCE or any of the other DE's I've tried.
I'm currently on: Nadia x64, Cinnamon 1.6.7, Muffin 1.1.2, Kernel 3.7 (also tested 3.5.0 and 3.6.x)
Graphics card: Nvidia Geforce GT 610
CPU: Intel i7 3770K
I've tried using both proprietary and open source Nvidia/Nouveau drivers, but the first issue doesn't seem to be with my graphics card.
I've also tried purging Cinnamon, Nemo, Muffin, etc. and installing them again, but the issues persist.
For reference, I do have mint-meta-cinnamon and mint-info-cinnamon installed.