Hi Vincent, Does this problem with arrow keys sometimes producing repeated digits still happen nowadays? With latest xserver-xorg-core 1.3 and drivers? Thanks, Brice