Desde o GNOME 3.8 existe uma opção explícita para desabilitar animações, você pode mudar com o editor gconf, ou simplesmente emitir isto do terminal:
gsettings set org.gnome.desktop.interface enable-animations false
Além disso, se isso não for suficiente para você ou seu PC, você poderá melhorar a capacidade de resposta da interface do usuário reduzindo o tempo de animação:
sudo nano /usr/share/gnome-shell/js/ui/overview.js
Altere ANIMATION_TIME para 0,001
const ANIMATION_TIME = 0.001;