Системный шрифт WebStorm отсутствует в настройках

Question

Невозможно найти установленный шрифт (Iosevka) в окне настроек Editor > Font.

Я использую WebStorm 2018.3.2 - устанавливается через Jetbrains Toolbox в Windows 10 1809.

Answer 1

Я узнал шрифт, скопировав его в путь установки WebStorm:

C:\Users\User\AppData\Local\JetBrains\Toolbox\apps\WebStorm\ch-0\183.4886.41\jre64\lib\fonts

Не очень хорошее решение, но оно работает.