Changer la police par défaut en NotoSans provoque un étrange bug où les accents graves ne sont pas affichés correctement dans aucune zone de texte (voir la vidéo ci-dessous pour référence) :
Un seul accent grave est affiché, peu importe le nombre saisi
Les accents graves eux-mêmes sont indentés et chevauchent le reste du texte
Le bug disparaît lorsque NotoSans n’est pas utilisé, ce qui est dommage car c’est une magnifique police
Nous devrions probablement la retirer de nos paramètres de site ; nous avons déjà Open Sans, qui est très similaire et ne présente pas le problème de l’accent grave.
Merci @awesomerobot. Il est indiqué que le problème a été résolu dans les versions plus récentes. Serait-il possible de mettre à jour la police plutôt que de la supprimer ?
Nous redistribuons les polices dans notre gemme de polices Discourse. D’après ma lecture du vaste sujet sur GitHub, il existe une version corrigée. Je ne suis pas certain qu’il faille supprimer Noto, il suffirait peut-être de mettre à jour la police, mais je laisse la décision finale à @awesomerobot à ce sujet.