| Re: [EGD-discu] Justifications des décisions prises... |
[ Thread Index |
Date Index
| More ergodis.org/discussions Archives
]
----- Mail original -----
> De: "Marcel" <bkn.ema@xxxxxxxxx>
> À: discussions@xxxxxxxxxxx
> Envoyé: Jeudi 3 Mai 2018 11:30:14
> Objet: Re: [EGD-discu] Justifications des décisions prises...
>
> Le 03/05/18 11:02 Mélanie Chauvel (ariasuni) a écrit :
> >
> > Le 02/05/2018 à 18:20, Marcel a écrit :
> > > Le 02/05/18 18:08 Mélanie Chauvel (ariasuni) a écrit :
> > >> Les guillemets chevrons ne sont pas exclusifs au français[1],
> > >> par contre les espaces insécables le sont.
> > >> J’aimerais bien pouvoir utiliser les guillemets adaptés sans
> > >> être ennuyée par un idiome français.
> > >>
> > >> [1]:
> > >> https://fr.wikipedia.org/wiki/Guillemet#Autres_langues_et_autres_pays
> > > Aussi faut‐il laisser les guillemets chevrons en isolation à un
> > > edroit, et les avoir en bundle avec espace à un autre endroit.
> > > Idéalement ce sera sur la même touche, mais pour faire cela il
> > > est trop tard ; trop tard aussi pour les mettre en synergie
> > > avec l’espace fine insécable en Maj+espace, ce qui serait “encore
> > > plus idéal” car en cohérence avec les autres ponctuations.
> > > Ce serait en phase avec les demandes des utilisateurs, aussi,
> > > mais les chiffres en direct nécessiteraient, en plus de la
> > > touche
> > > tiret, une ergonomisation de plusieurs symboles informatiques,
> > > tout à fait faisable elle aussi.
> > Bref, pas pour la version 1.1 de bépo.
>
> Ou pas pour le rc1. Si comme annoncé sur le wiki, la v1.1 aura un
> rc2, ça restera à voir.
Pour ceux du fond qui ne suivent pas, on est en plein dans la rc2.
Les dernières modifs de la rc1 étaient en novembre/décembre *2016*…
--
Nicolas
--
Pour ne plus recevoir les messages de cette liste de discussion, envoyez un courriel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".