Так устал искать решение.. Я использую PHPStorm IDE для моих проектов php, и одна проблема просто сводит меня с ума. Редактор шрифтов ( редактор, не заботятся о интерфейсе) выглядит ужасно. Я пробовал разные дистрибутивы и разные DE, но результат всегда один и тот же:( Есть скриншоты для сравнения шрифтов Kate и PHPStorm. Я знаю, что PHPStorm является JAVA-приложением, и он использует другой механизм смены шрифтов, но.. Eclipse также является JAVA-приложением, но имеет довольно приятные шрифты. Шрифты PHPStorm как для Windows, так и для OSX выглядят как другие системные шрифты. Гладкий и читаемый.
Есть ли способ исправить эту проблему с шрифтом, пока мои глаза не взорвутся..? Благодарю.