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