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)

[Olivier Guéry <nemolivier@xxxxxxxxx>]

Le ven. 29 juil. 2016 à 18:34, Thomas Vergnaud <thomas.vergnaud@xxxxxx> a écrit :

C'est vrai que ça peut paraître étrange de s'accommoder de contorsions avec AltGr et d'être gêné par une double frappe sur une touche plus accessible. 😊

En fait, ma réticence vient du fait que la solution en double frappe me semble dépendre du système d'exploitation : ^+espace ou ^+^, avec le risque d'avoir un jour un environnement qui ne produit rien en cas de double frappe. Par exemple, sous Linux (X.org), les séquences de touches ne dépendent pas du clavier, mais sont définies de façon centralisée.

Je peux me tromper, mais le projet c’est précisément de rendre les choses plus claires entre les OS.

Double frappe sur un caractère mort : caractère souscrit

Frappe + espace : caractère non mort.

NémOlivier.

--

Envoyé depuis un clavier en http://bepo..fr