JuliaDocs/Documenter.jl

Missing font issue in pdf

Open

#1.918 aberto em 2 de set. de 2022

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)Julia (513 forks)batch import
Format: LaTeXType: Enhancementhelp wanted

Métricas do repositório

Stars
 (910 stars)
Métricas de merge de PR
 (Mesclagem média 16d 9h) (3 fundiu PRs em 30d)

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?

Guia do colaborador

Direção de pesquisa
Examine o processo de geração de PDF no Documenter.jl para identificar por que as fontes não estão incorporadas para certos caracteres e considere incorporar todas as fontes ou usar um subconjunto que inclua esses caracteres.
Pilha de tecnologia
None
Domain
documentation
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
None
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
75