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 ---------------------------------------------- -- Interessado em aprender mais sobre o Ubuntu em português? http://wiki.ubuntu-br.org/ComeceAqui - ubuntu-br mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
