| Re: [EGD-discu] [Vote] Touches mortes exposants & indices -> priorité des touches mortes ? |
[ Thread Index |
Date Index
| More ergodis.org/discussions Archives
]
- To: discussions@xxxxxxxxxxx
- Subject: Re: [EGD-discu] [Vote] Touches mortes exposants & indices -> priorité des touches mortes ?
- From: "Mimoza" <bepo@xxxxxxxx>
- Date: Thu, 01 Dec 2016 10:10:48 +0000
1 décembre 2016 11:04 "Flamme" <ml@xxxxxxxxxxxxxxx> a écrit:
> Si on relègue Exposants et Indices en AltGr+Maj+V et AltGr+Maj+^, ça devient plus compliqué, et on
> se retrouve avec le paradoxe qu’il sera plus facile de taper certains diacritiques inutiles au
> français que de produire des symboles utiles au français.
Perso j'aurais plus mis en Altgr + [^|v] mais ça oblige a déplacer le ¡ et pour garder une cohérence le ¿ aussi (en Altgr + Maj ?).
Mais comme j'arrive après la bataille …
--
Pour ne plus recevoir les messels de cette liste de discussion, envoyez un messel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".