I think the problem was caused by the NVidia driver. Now that I do net use that driver there is no longer a problem. I think the bug can be closed! -- Eeltje de Vries
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
