Ho scoperto che dopo aver aggiornato il mio OS X a EI Capitan alcune settimane fa, i caratteri usati nel mio terminale e in PhpStorm 9 sono stati un po 'più sottili (non ho cambiato nessuna impostazione nel terminale e PhpStorm 9), I Mi piacciono molto questi caratteri sottili. Questo a causa di alcune impostazioni di rendering dei font in OS X? Perché non ho cambiato le impostazioni dei font nel terminale e in PhpStorm.
Ma dopo aver aggiornato PhpStorm alla versione 10 di oggi, il font in PhpStorm è tornato a quello più audace (Menlo).
Qualcuno sa come posso recuperare il font thiner nel mio PhpStorm?