I managed to track down the cause of this problem. I'll try to get it fixed soon. It is indeed a bug in the NVIDIA X driver.
I managed to track down the cause of this problem. I'll try to get it fixed soon. It is indeed a bug in the NVIDIA X driver.