On 8/30/07, Chicó <mantenedor em gmail.com> 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