I have now found that the problem that I encountered is more subtle. 1) Only some of the synaptics functions were disabled. In particular, the second right (button 3) was not recognised. However scrolling was still working.
2) Restarting X re-enabled full button recognition. Maybe a race somewhere? 3) In passing, I should note that scrolling sometimes does not work, but reloading the psmouse module fixes that. I had not bug reported this last, but on reflection it might be a refelction of the same underlying bug... -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org