Perguntas com a marcação «fonts»

22
Como altero o espaçamento entre linhas no Terminal?

É possível alterar o espaçamento entre linhas no Terminal ou existe algum outro aplicativo que permita isso? Estou saindo do Mac, e seu aplicativo de terminal tem esse recurso que permite alterar o espaçamento entre linhas, independentemente do tamanho da fonte. Por exemplo, aqui está o Mônaco no...

21
Fontes urdu não renderizadas corretamente no Chrome

O Chrome no Ubuntu não está processando fontes Urdu corretamente. Está mostrando caracteres sem sentido que não consigo ler. O problema é especialmente ruim no Facebook. Copiei algumas fontes Urdu abaixo ~/.fontse abaixo, /usr/share/fonts/atualizei o cache e reiniciei o Chrome, mas mesmo isso não...

20
Como redefinir a configuração da fonte gnome?

Como redefinir as configurações de fonte - tamanho e fonte reais - para o padrão? (Alterei alguns valores em Sistema-> Preferências-> Aparência-> Fontes) Isso é particularmente importante com a nova fonte Ubuntu no Maverick - por exemplo, estou interessado em ver quais são as...

18
Tendo problemas com fontes em vim-airlines

Eu queria instalar o vim-airlines, mas estou tendo problemas com fontes unicode. Eu o instalei com o vundle: .vimrc set encoding=utf-8 Bundle 'bling/vim-airline' let g:airline_powerline_fonts = 1 let g:airline_theme='powerlineish' .fonts $ ll .fonts total 376 drwxr-xr-x 2 xxx xxx 4096 gru...

18
Alternativa mais próxima a Times New Roman

Qual é a fonte alternativa mais próxima de Times New Romanno Ubuntu 12.10? É serifou sans serifou algo mais? Eu já instalei msttcorefonts. Agora, no meu Latexdocumento, estou preferindo não usar Times New Romancomo descobri, depois de um pouco de navegação, que pode haver problemas ao compilar...

17
Como alterar o tamanho da fonte no emacs?

Eu baixo o emacs com 'sudo apt-get install emacs'. Quando executo o emacs, vejo o emacs com fontes muito grandes. Não sei por que a configuração padrão tem tamanho de fonte normal no emacs. Como eu posso fazer

17
Como aumento o tamanho da fonte no Dash?

Eu sou uma pessoa com deficiência visual. As versões pré-Unity do Ubuntu permitiam alterar todos os tamanhos de fonte. Agora, o recurso de acesso universal é praticamente inútil, pois aumentar o tamanho da fonte para "Grande" aumenta tudo, exceto a lista de aplicativos no Unity Dash, que é fixada...