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.