Against all odds: it is just a mouse problem. I didn't believe so, since I had bought a Creative mouse, which had the wheel broken after a few months. I got it replaced, by Creative; only to find that the new one would do too many clicks as double clicks. Morale: Don't trust Creative mice.
Uwe -- This message posted from opensolaris.org
