Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-20 Por tôpico Fabiano Bovo
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

Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Humberto Fraga
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

Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Robson Dantas
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

Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Humberto Fraga
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

[Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Robson Dantas
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