Добрый день, коллеги! Такой вопрос, возможно кто-то уже с этим столкнулся. Обновился PhpStorm 2020.1 Изменился стиль в самом редакторе (p.s. стал ужасным) Всегда использовал дефолтные настройки шрифтов и его размеров. А теперь, вот это. Кто разобрался, как вернуть все на круги своя?