Nous utilisons tous des outils d'édition pour modifier une ligne de texte au moment où nous la saisissons. Il existe deux principaux modes d'édition à l'intérieur d'une ligne : a) le mode "insertion", qui insère des caractères non éditables à l'endroit où se trouve le curseur et mélange le texte vers la droite, et b) le mode "écrasement", dans lequel les caractères non éditables remplacent simplement le caractère sélectionné par le curseur.
Le mode d'écrasement est, selon l'IMHO, un vestige de l'époque des écrans cathodiques verts. La seule utilité que je lui ai trouvée est de dessiner des images en 2D en ASCII, ce que j'ai cessé de faire dans les années 80 lorsque de véritables outils de dessin sont devenus disponibles.
Windows (stupidement, IMHO) propose un mode d'écrasement activable par l'utilisation de l'option INSERT du clavier. (J'imagine que Linux/Unix suivront probablement le même chemin dans l'habituelle envie de Windows). Je n'appuie jamais sur cette touche parce qu'elle me met en mode écrasement.
Cependant, pendant que je tape, le mode d'écrasement se déclenche parfois soudainement. Je pense qu'il s'agit d'une étrange combinaison de ALT / Windows / CTRL / SHIFT et une autre touche, ou deux touches standard enfoncées en même temps à proximité. Quelqu'un sait-il quelle est la séquence de touches alternative afin que je puisse essayer de l'éviter ? Existe-t-il un moyen de demander à Windows de cesser d'utiliser le mode écrasement ?