@nvidia: this is the reply from Gnome developers:
> As a Last resort, I tried nouveau driver. with nouveau driver,
> Gnome-3.2 shell is working fine.
Please report this to NVidia. That's most probably their fault, since it
doesn't happen with Nouveau. GNOME developers cannot fix their driver,
though they can help NVidia guys if they ask it.