Aside from that it was great, and there was probably some configuration option to stop that behaviour but I could not find it.
Actually I quite enjoyed Cinnamon, I cannot even remember what things I disliked but I'd just saw the new release of KDE and those small niggles were enough of an excuse to switch back to KDE hah.