Oui le drapeau est supposé indiquer le type de police. Mais je pense que trop de générateurs de PDF ont fait l'erreur et que pour mieux afficher tous les documents qui ont été générés par le passé, il n'y a plus guère de choix.
Par contre le remplacement des deux n'est nécessaire que à cause du bug de fontconfig. Poppler prend bien en compte le drapeau s'il est présent, mais le nom de police faisait partir en vrille fontconfig sur sa configuration par défaut.
[^] # Re: Purée De Fichier (bien Tordu)
Posté par Pinaraf . En réponse au journal PDF, mais que fait la police. Évalué à 3.
Oui le drapeau est supposé indiquer le type de police. Mais je pense que trop de générateurs de PDF ont fait l'erreur et que pour mieux afficher tous les documents qui ont été générés par le passé, il n'y a plus guère de choix.
Par contre le remplacement des deux n'est nécessaire que à cause du bug de fontconfig. Poppler prend bien en compte le drapeau s'il est présent, mais le nom de police faisait partir en vrille fontconfig sur sa configuration par défaut.