Odkryłem, że po aktualizacji mojego OS X do EI Capitan kilka tygodni temu, czcionki użyte w moim terminalu i PhpStorm 9 są nieco cieńsze (nie zmieniłem żadnych ustawień w terminalu i PhpStorm 9), naprawdę lubię te cienkie czcionki. Czy to z powodu niektórych ustawień renderowania czcionek w OS X? Ponieważ nie zmieniłem żadnych ustawień czcionek w terminalu i PhpStorm.
Ale po zaktualizowaniu mojego PhpStorm do wersji 10 dzisiaj, czcionka w PhpStorm powróciła do odważniejszego (Menlo).
Ktoś wie, jak mogę odzyskać cieńszą czcionkę w moim PhpStormie?