JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1918 aperta il 2 set 2022

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Julia (513 fork)batch import
Format: LaTeXType: Enhancementhelp wanted

Metriche repository

Star
 (910 star)
Metriche merge PR
 (Merge medio 16g 9h) (3 PR mergiate in 30 g)

Descrizione

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?

Guida contributor

Direzione di ricerca
Esamina il processo di generazione PDF in Documenter.jl per identificare perché i font non sono incorporati per alcuni caratteri e considera di incorporare tutti i font o di utilizzare un sottoinsieme che includa quei caratteri.
Tech stack
Nessuno
Dominio
documentation
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Nessuno
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75