On 2007-06-04 22:53:36 +0200, Brice Goglin wrote: > Does this problem with arrow keys sometimes producing repeated digits > still happen nowadays? With latest xserver-xorg-core 1.3 and drivers?
I don't know. I mostly use this machine remotely. I'm installing the latest versions so that when I try in 3 weeks, I can tell you. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
