Re: [EGD-discu] [Vote] Touches mortes exposants & indices -> priorité des touches mortes ?

[ Thread Index | Date Index | More ergodis.org/discussions Archives ]


J'ai fait la modif

1 décembre 2016 11:47 "Valentin Melot" <v.melot@xxxxxxxxxx> a écrit:
On peut toujours rajouter cette proposition en cours de route mais il faudra que les personnes ayant déjà voté viennent modifier leur vote. Je suis sur mon téléphone, est-ce que quelqu'un peut rajouter l'option svp ? Sinon je ferai ça cet après-midi...

--
Miltøn
Le 1 décembre 2016 11:34:30 GMT+01:00, "Olivier Guéry" <nemolivier@xxxxxxxxx> a écrit :
Le jeu. 1 déc. 2016 à 11:11, Mimoza <bepo@xxxxxxxx> a écrit :


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 …
C'est pas bête, ça comme idée…
Némolivier.
--
Envoyé depuis un clavier en http://bepo.fr

--
Envoyé de mon appareil Android avec K-9 Mail. Veuillez excuser ma brièveté.


Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/