Double clic clavier

Permet de régler le temps du double clic du clavier.  La valeur par défaut est de 0.25 secondes.
Cette fonction peut être modifiée dans les Options de l'utilisateur.