Como alterar a fonte secundária usada pelo terminal do gnome?

2

Algumas informações do ambiente:

  • Arch Linux
  • KDE Plasma 5.10.4
  • Terminal GNOME 3.24.2 Usando o VTE versão 0.48.3 + GNUTLS

Eu configurei para usar a fonte Ubuntu Mono Regular no perfil do terminal do gnome. E os caracteres latinos renderizam bem. O problema é que eu não como a fonte CJK padrão escolhido de alguma forma automaticamente por ele para renderizar caracteres chineses.

Eu instalei as fontes CJK desejadas, como Fontes Noto, fontes WenQuanYi e configuradas para usá-las no fontconfig. Por tal, Os caracteres CJK são renderizados por fonte desejada no Chrome. Tanto quanto eu posso dizer, a fonte incorreta é usada apenas por terminal gnome. (Talvez seja porque usa diferentes mecanismo para escolher a fonte para usar? Pango / Xft, eu acho?)

Eu gostaria de saber como a fonte CJK é escolhida (como não é configurável no perfil do terminal do gnome) e como posso personalizá-lo?

    
por Naitree 19.08.2017 / 03:44

0 respostas