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! -- Francisco Almeida irc snorkel msn mantenedor[em]gmail.com ----------------------------------------------