Я недавно обновил IntelliJ IDEA (на данный момент у меня последняя возможная версия и сборка - см. внизу), и с тех пор мой ранее хорошо выбранный шрифт с лигатурами больше не отображается (я не помню его название). Раньше шрифты были представлены в меню, 5-6 из них, и вы могли выбрать один в IDE, но теперь есть много шрифтов на выбор, которые, я думаю, взяты из системы.
Однако я следовал этим инструкциям из этот пост, но все же шрифт не отображается в меню. Я установил шрифт Fira Code (все доступные файлы .ttf: Bold, Light, Medium, Regular и Retina) в Windows, поэтому, например. он доступен в Microsoft Word:
но даже после перезапуска он недоступен в IntelliJ IDEA: Есть предложения, как это исправить?
IntelliJ IDEA 2019.2 (Ultimate Edition)
Build #IU-192.5728.98, built on July 23, 2019
Runtime version: 11-ea+125 amd64
VM: OpenJDK 64-Bit Server VM by JetBrains s.r.o
Windows 10 10.0