WebStorm/PhpStorm: How do I choose a specific font from a font family? (for the editor).
Specifically, I have downloaded the
Source Code Pro font. It comes with these typefaces: Extra Light, Light, Regular, Semibold, Bold. Now, I want to choose Extra Light/Light.
But, when trying to select a font, Webstorm only shows me one font for the entire family.
How do I make it use a specific one?
If it makes a difference, I am currently using Mac OS X Mountain Lion (but I'd be interested in finding the answer to this for Windows as well)