That's what I was wondering as well. If the output of dmesg and /proc/bus/input/devices doesn't change, then it's very much an xorg issue. -- mice detected as imps2 not as ps2++ https://launchpad.net/malone/bugs/18489