> > I think this is a problem with the Debian-generated configuration. > > For /dev/input/mice, it specifies SendCoreEvents _and_ also > > includes it in the ServerLayout as an InputDevice. Commenting > > out the SendCoreEvents line fixes the problem and each event > > is only received once. > > What if you tell it to use /dev/input/mice in the first place? (it > didn't include PS/2 mice with 2.4 kernels, the idea of adding it is to > make hot plugging USB mice work automagically)
I am using a USB mouse, so my input _is_ coming from /dev/input/mice. I don't have a PS/2 mouse hooked up to the machine in question, so this isn't an issue of events getting read from both /dev/psaux and /dev/input/mice -- it's a problem where events are read from /dev/input/mice twice. -jim
