Webstorm/PhpStorm: выбор определенного шрифта из семейства шрифтов

Question

WebStorm/PhpStorm: Как выбрать определенный шрифт из семейства шрифтов? (для редактора).

В частности, я скачал шрифт Source Code Pro . Он поставляется с такими шрифтами: Extra Light, Light, Regular, Semibold, Bold. Теперь я хочу выбрать Extra Light/Light.

Но при попытке выбрать шрифт, Webstorm показывает только один шрифт для всей семьи.

Как мне сделать, чтобы он использовал определенный?

Если это имеет значение, я в настоящее время использую Mac OS X Mountain Lion (но мне было бы интересно найти ответ на этот вопрос также для Windows)

Answer 1

Отключите Показать только моноширинные шрифты, чтобы увидеть полный список:

Answer 2

Я сам решил эту проблему, по крайней мере, на Mac. Вы в основном должны поместить эти файлы шрифтов в папку шрифтов вашей среды Java. PHPStorm, являющийся Java-приложением, использует шрифты из этих каталогов, немного отличающиеся от тех, которые находятся в вашей папке системных шрифтов.

Вы должны увидеть различные параметры веса шрифта для исходного кода Pro, как только вы это сделали.

Сообщение в блоге с более подробной информацией и инструкциями, если вам интересно:http://sticksnglue.com/wordpress/?p=112