RE: [EGD-discu] Facilité pour les caractères utilisés en programmation (Re: Pression multiple des touches mortes pour obtenir des diacritiques alternatifs, essentiellement ceux souscrits) |
[ Thread Index | Date Index | More ergodis.org/discussions Archives ]
Pardon, je n'ai pas été très clair. Donc : Oui, tout à fait, je préfère taper AltGr+6 plutôt que ^+espace. Le ^ est un caractère rare ; ce n'est pas grave s’il est difficile d'accès. Je ne sais pas pourquoi, mais je trouve « bizarre » de taper une séquence de touches pour un caractère de contrôle comme celui-ci. Thomas De : Olivier Guéry Non mais je sais à quoi ils servent, hein. Non seulement je connais vim mais, aussi, j'ai participé à la conception du bépo c'est dire 😉 NémOlivier. Le jeu. 28 juil. 2016 21:48, Thomas Vergnaud <thomas.vergnaud@xxxxxx> a écrit :
|
Mail converted by MHonArc 2.6.19+ | http://listengine.tuxfamily.org/ |