¿Cómo restablezco la configuración de fuente (fuente y tamaño reales) a sus valores predeterminados? (Cambié algunos valores en Sistema-> Preferencias-> Apariencia-> Fuentes) Esto es particularmente importante con la nueva fuente Ubuntu en Maverick; por ejemplo, me interesa ver cuáles...