Few weekends ago, I've updated my Gnome Shell plugin Disable Window Animations for Fedora 17 (Gnome Shell 3.4). If you switch workspaces often, you might find this handy. I switch them thousands time a day, this saves me time & eyes. Like it? Say thanks in the comments.

This extension simply disable all window manager animations: window "slide-ins" and workspace "slide-ups" and "slide-downs". However, it does not disable dash animations ("zoom-ins" and
"zoom-outs" etc.) because I don't find them annoying. For more info you can visit my github.com homepage.