With some help I meanwhile upgraded to Ubuntu 14.04 LTS and the bug doesn't seem to appear there, even though the nvidia driver version is the same (I tried "Ubuntu" and "Gnome fallback Compiz"). Does that help in localizing the problem for people still using 12.04 LTS?
With some help I meanwhile upgraded to Ubuntu 14.04 LTS and the bug doesn't seem to appear there, even though the nvidia driver version is the same (I tried "Ubuntu" and "Gnome fallback Compiz"). Does that help in localizing the problem for people still using 12.04 LTS?