Acontece comigo de tempos em tempos no Windows também, e tenho que admitir que a culpa é minha: estou cansado ou apenas tento digitar mais rápido do que posso.
Problemas que acontecem com frequência, mas não de acordo com um padrão, e apenas por meio segundo são muito difíceis de reproduzir e, honestamente, não acho que seja um problema com o computador.
Desculpe dizer, você precisa praticar a digitação.