Em Qui, 2007-08-30 às 13:46 -0300, Chicó escreveu: > Como altero o tipo da fonte de uma gnome-terminal? Depois de umas > atualizações a fonte ficou pequena e fininha demais, quase não dá pra > enxergar!
Menu Editar > Perfis > Selecione o perfil padrão e clique em Editar de novo. -- Interessado em aprender mais sobre o Ubuntu em português? http://wiki.ubuntu-br.org/ComeceAqui - ubuntu-br mailing list ubuntu-br@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-br