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 finas (no cambié ninguna configuración en terminal y PhpStorm 9), Realmente me gustan estas fuentes delgadas. ¿Esto se debe a algunas configuraciones de representación de fuentes en OS X? Porque no cambié ninguna configuración de fuente en la 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 Thiner en mi PhpStorm?