I think you're thinking of MATE. Cinnamon is a fork of GNOME 3.