Problème de guillemets dû à la police

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) :

  1. Un seul accent grave est affiché, peu importe le nombre saisi
  2. 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 :frowning:

2 « J'aime »

Malheureusement, c’est un problème connu avec cette police !

https://github.com/googlefonts/noto-fonts/issues/736

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.

8 « J'aime »

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 ?

6 « J'aime »

Si content de voir ce sujet, ce bug m’a rendu fou depuis des lustres.

Il est temps pour moi de supprimer Noto.

Donc, Doscourse distribue-t-il Noto plutôt que d’utiliser la police web ?

2 « J'aime »

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.

7 « J'aime »

Oui, on peut simplement le mettre à jour, ça semble bien !

4 « J'aime »

J’ai mis à jour la police dans notre gem, donc cela devrait être bientôt répercuté !

6 « J'aime »