> One more idea. Did you try a different mouse? For example a usb mouse, > whether that behaves the same? In case that helps any in isolating > the problem.
I did: the problem does not affect the USB mouse I connected to the machine nor does it affect the touchpad buttons, apparently. Only the trackpoint buttons. I say "apparently" because there remain the possibility that the problem shows up only after N clicks and I haven't use the touchpad buttons or the mouse buttons enough times for the problem to appear. === Stefan
