Re: [Ubuntu-BR] Tipo de fonte num terminal
On 8/30/07, Chicó [EMAIL PROTECTED] wrote: Como altero o tipo da fonte de uma gnome-terminal? Editar - Perfis... - Editar. Soh futucar um pouco. -- João Olavo Baião de Vasconcelos Ciência da Computação UFES -- 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
Re: [Ubuntu-BR] Tipo de fonte num terminal
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