Perguntas com a marcação «fonts»

8
Como alterar o tamanho da fonte do eclipse

Estou tentando reduzir o tamanho da fonte usada no Eclipse. Eu li várias notas falando sobre como fazer isso, mas nenhuma delas fez a diferença. Obviamente, alterá-lo nas preferências do Eclipse não o faz. As respostas comuns sobre o uso de "Aparência-> Fontes" não funcionam, porque não há uma...

8
Como instalar fontes MS no Ubuntu?

Eu fiz sudo apt-get install ttf-mscorefonts-installere parece que é com sucesso. Mas por que não estou vendo novas fontes? (por exemplo, quando eu selecionei a fonte no meu perfil para o meu terminal)? $ sudo apt-get install ttf-mscorefonts-installer [sudo] password for cheungs: Reading package...

8
Fonte personalizada com dmenu

Encontrei referências em vários lugares executando o dmenu da seguinte forma: dmenu_run -b -fn 'Inconsolata 12' No entanto, seja qual for a variação do nome da fonte que eu tente, sempre recebo dmenu: warning: cannot load font <font name> fc-list | grep cons me

8
Recursos do Opentype no Libreoffice

É possível usar os recursos do Opentype como ligaduras no Libreoffice? se sim, como? Porque, tanto quanto eu sei, no Ubuntu e Linux em geral, esses recursos estão disponíveis apenas para fontes de grafite (também conhecidas como inteligentes) como Linux Libertine G(uma fonte de grafite gratuita...

8
Patches de fontes OpenJDK-8 / Oracle JDK 8 para Ubuntu

Existe uma versão corrigida do OpenJDK-8 ou Oracle JDK 8 para Ubuntu 14.10 que corrige fontes feias em aplicativos Java (produtos Jetbrains, Netbeans etc.)? Eu já havia instalado uma versão corrigida do OpenJDK7 para Ubuntu 14.04 neste artigo, mas ela não parece estar disponível para a 14.10....

1
Como exibir corretamente hindi / gujarati no ubuntu

Ububtu 16.04. Suporte a idiomas para Hindi e Gujarati habilitado. O problema é - hindi e gujarati não é exibido corretamente. Você não pode ler palavras que usam "pra", "dra", "kra" etc. corretamente. Existe alguma maneira de resolver isto? Obrigado.