2

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

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

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

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

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

2 ответа2

1

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

1

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

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

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

Всё ещё ищете ответ? Посмотрите другие вопросы с метками .