Ah cool. I remember when I tried I did find a UI for shortcut keys, except it didn't let you specify workspace bindings. But this was a while ago, perhaps 3.0? I'll have a look next time.
Though, both Cinnamon and GNOME Shell induce occasional complete lockups of the X server with Nouveau in Fedora 16. When I upgrade to Fedora 18 I'll see if that's improved (must have right - "force drivers to get better" was one of the aims of GNOME Shell going 3D, no?). Till then I have to stick to XFCE.