I'm running Ubuntu 10.10 on my MacBook Air 11" (late 2010 model 3,1). Compiz runs fine, as well as most of GNOME Shell's animations.

The animation for switching to and from GNOME Shell overview is just very slow. Unfortunately, it's the most common animation on Shell.

I already applied

cd ~/gnome-shell/source/gnome-shell
curl http://bugzilla-attachments.gnome.org/attachment.cgi?id=157326 > shell-animations-nvidia.patch
git am shell-animations-nvidia.pat

that I found from http://live.gnome.org/GnomeShell/SwatList , but the issue's still here.

How do I fix this?

EDIT:
Apparently, it's an NVIDIA driver bug, which has something to do with the message tray. Is this correct? How do I go around this issue?