oui, esc n'est pas pratique. Devoir appuyer sur 2 touches simultanément est assez lourd aussi (ctrl-k par ex) . Personnellement je préfère appuyer sur esc que faire ctrl-touche. De plus si j'apelle "lever la main" le fait de quiter la position standard de la main, alors dans les deux cas on lève la main.
[^] # Re: dinosaurus
Posté par Anonyme . En réponse à la dépêche Interview de Bram Moolenaar. Évalué à 1.