ubuntu-br@lists.ubuntu.com
> Subject: Re: [Ubuntu-BR] como mudar tamanho das fontes?
>
> Robson, em se tratando de algo que afeta a interface gráfica, seria muito
> estranho que a alteração fosse feita via terminal.
>
> Mas isso possivelmente é configurado via gconf ou dconf, então usa
Robson, em se tratando de algo que afeta a interface gráfica, seria muito
estranho que a alteração fosse feita via terminal.
Mas isso possivelmente é configurado via gconf ou dconf, então usando essas
palavras em uma pesquisa dá para encontrar alguma alternativa.
Em 17 de junho de 2013 15:02, Ro
Valeu pelo dica, eu queria saber como fazer pelo Terminal, mas tudo bem,
usei o Ubuntu-Tweak e funcionou, coloquei para 0,8, ficou sensacional
(para a resolução 1024x768), deveria vir como padrão para essa resolução...
Em 17-06-2013 14:41, Humberto Fraga escreveu:
Robson,
nas versões anterio
Robson,
nas versões anteriores havia esta opção dentro da tela de Aparência. Com as
novas versões do Gnome cada vez mais econômicas, as opções de fonte estão
disponíveis apenas pelo gnome-tweak-tool. Experimente e veja se lhe atende.
Em 17 de junho de 2013 14:02, Robson Dantas escreveu:
> onde
onde fica esta configuração para mudar de 10px para 9px ou 8px. Uso
resolução 1024x768 e me disseram que isso seria bom por causa do Unity
que atrapalha os labels dos programas.
uso o ubuntu 12.04
valeu
--
Mais sobre o Ubuntu em português: http://www.ubuntu-br.org/comece
Lista de discussão U
5 matches
Mail list logo