JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1 918 ouverte le 2 sept. 2022

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)Julia (513 forks)batch import
Format: LaTeXType: Enhancementhelp wanted

Métriques du dépôt

Stars
 (910 stars)
Métriques de merge PR
 (Merge moyen 16j 9h) (3 PRs mergées en 30 j)

Description

At the bottom of p6 of the pdf version of the Julia v1.8.0 docs, there is a missing font problem resulting in the Chinese(?) characters being displayed as boxes, both in Acrobat and Edge.

It displays fine on the web page and if I copy the text and paste it anywhere in Windows (including the run dialog!), it displays in the appropriate font.

Perhaps the font should be embedded in the pdf?

Guide contributeur

Direction de recherche
Examinez le processus de generation PDF dans Documenter.jl pour identifier pourquoi les polices ne sont pas integrees pour certains caracteres, et envisagez d'integrer toutes les polices ou d'utiliser un sous ensemble incluant ces caracteres.
Stack technique
Aucun
Domaine
documentation
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Aucun
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75