Problem:
Repeat keys while typing, unless I use an extraordinarily slow and careful touch on the keyboard. (Example: Thhe quickk browwn fox.)
System:
Dell Precision 7710 with Ubuntu 14.04 and Cinnamon 2.85 desktop, although I've often seen the problem in Unity
Troubleshooting tried to date:
(1) System settings --> Keyboard --> change 'Repeat delay' to the highest available 'long' setting, and 'Repeat speed' to the slowest available setting. I now have 'Enable Key Repeat' turned off entirely.
(2) sudo kbdrate -r 2 -d 1000
from the command line
The BIOS doesn't have a 'typematic' setting.
Any suggestions will be appreciated.
update:
I just spent almost an hour typing with an external keyboard attached via the USB port, and didn't get double keys once. -- May I safely assume that the problem is with the Precision 7710's relationship with the OS, and not with the OS itself?