Encontré que después de actualizar mi OS X a EI Capitan hace unas semanas, las fuentes utilizadas en mi terminal y PhpStorm 9 se hacen un poco más delgadas (no cambié ninguna configuración en terminal y PhpStorm 9), realmente me gustan estas fuentes delgadas. ¿Esto se debe a algunos ajustes de renderización de fuentes en OS X? Porque no cambié ninguna configuración de fuentes en terminal y PhpStorm.
Pero después de actualizar mi PhpStorm a la versión 10 hoy, la fuente en PhpStorm volvió a la más audaz (Menlo).
¿Alguien sabe cómo puedo recuperar la fuente más fina en mi PhpStorm?
