WebStorm/PhpStorm: Как выбрать определенный шрифт из семейства шрифтов? (для редактора).
В частности, я скачал шрифт Source Code Pro
. Он поставляется с такими шрифтами: Extra Light, Light, Regular, Semibold, Bold. Теперь я хочу выбрать Extra Light/Light.
Но при попытке выбрать шрифт, Webstorm показывает только один шрифт для всей семьи.
Как мне сделать, чтобы он использовал определенный?
Если это имеет значение, я в настоящее время использую Mac OS X Mountain Lion (но мне было бы интересно найти ответ на этот вопрос также для Windows)