O mouse dá mais cliques do que eu

Question

Atualmente estou tendo um problema com o mouse. Tudo começou depois de uma das atualizações mais recentes, mas não tenho certeza se está relacionado.

Primeiro, achei que era um problema de aplicativo, mas depois de testar com um script simples, algo mais é revelado. O caso é que "mouse para baixo" resulta em vários mouse para baixo / para cima / baixo, etc.

O script, (desculpe pela desordem extra com cores), é:

#!/bin/bash

xev -event button | awk '
    BEGIN {
        e = 0;
        t = 0;
        c[0] = "3[31;1m"
        c[1] = "3[36;1m"
    }
    /Press/   {e = 0; printf "down "}
    /Release/ {e = 1; printf "up   "}
    /time/ {
        printf "%s%8d %s\n", c[e], ($6 - t), strftime("%M:%S")
        t = $6 + 0
    }
'

Algumas amostras mostram o problema:

In reality: 1 down
down      191 51:12
up         16 51:12
down       36 51:12

In reality: 1 down
down     1532 52:21
up         48 52:21
down       16 52:21

In reality: 1 down
down     1580 53:03
up         16 53:03
down       16 53:03
up       1189 53:04 (yes, held down button here as well)
down       18 53:04

Também vimos o mesmo com cliques únicos, como em cliques únicos gerados como cliques duplos, pois duas séries de eventos para baixo / para cima / para baixo são enviadas.

Isto não é uma constante. Posso fazer 10 a 20 cliques sem problemas, então é um problema para alguns cliques, não para o próximo e, talvez, um problema para os próximos 10.

A minha pergunta é como posso verificar se este é um problema de software ou problema de hardware? Eu tentei com diferentes mouses, mas o problema persiste.

Pesquisei bugs na web, mas não os encontrou, mas o google-foo (o que sobrou disso) não é o melhor.