Отключите Показать только моноширинные шрифты, чтобы увидеть полный список:
Webstorm / PhpStorm: выбор определенного шрифта из семейства шрифтов
WebStorm / PhpStorm: Как выбрать определенный шрифт из семейства шрифтов? (для редактора).
В частности, я скачал Source Code Pro
шрифт. Он поставляется с такими шрифтами: Extra Light, Light, Regular, Semibold, Bold. Теперь я хочу выбрать Extra Light / Light.
Но при попытке выбрать шрифт, Webstorm показывает только один шрифт для всей семьи.
Как мне сделать, чтобы он использовал определенный?
Если это имеет значение, я в настоящее время использую Mac OS X Mountain Lion (но мне было бы интересно найти ответ на этот вопрос также для Windows)
2 ответа на вопрос
I looked into solving this exact issue myself, on a mac at least. You basically have to drop these font files into your java environment direcotry's font folder. PHPStorm being a java app utilizes fonts form these directories slightly different than the ones in your system fonts folder.
You should see the various options font weight options for source code pro once you have done this.
Blog post with more details & instructions, if you're interested: http://sticksnglue.com/wordpress/?p=112
Похожие вопросы
-
2
Firefox печать в PDF-файл
-
5
FontExplorer как приложение для Windows
-
4
Как изменить текстовый шрифт Gmail в текстовом поле «Создать»?
-
-
2
Windows: Как изменить системный / диалоговый шрифт?
-
5
Как изменить шрифт консоли Windows XP?
-
3
Установка шрифтов Microsoft ttf в Ubuntu
-
3
Сглаживание плохого шрифта в Ubuntu
-
3
Acrobat: Как установить шрифт по умолчанию для инструмента текстового поля?
-
4
Как вы используете больше смайликов в Office Communicator?
-
1
Firefox псевдонимы / неровные шрифты в XFCE