People a ustedes no les ha pasado que acabado de instalar el sistema las
fonts del Gnome son anormalmente grandes?
El otro dia se lo dije a uno de nuestros developers y me dijo que nunca
le habia pasado. A mi siempre me pasa.
Por suerte que es facil de arreglar, pero me parece que es un detallito
que deberian corregir.