Webstorm / PhpStorm: Selecionar fonte específica de uma família de fontes

Question

WebStorm / PhpStorm: Como escolho uma fonte específica de uma família de fontes? (para o editor).

Especificamente, eu fiz o download da fonte Source Code Pro . Ele vem com estas fontes: Extra Light, Light, Regular, Semibold, Bold. Agora, eu quero escolher Extra Light / Light.

Mas, ao tentar selecionar uma fonte, o Webstorm só mostra uma fonte para toda a família.

Como faço para usar um específico?

Se isso faz diferença, atualmente estou usando o Mac OS X Mountain Lion (mas estaria interessado em encontrar a resposta para isso também no Windows)

    

Answer 1

Desative Mostrar apenas fontes monoespaçadas para ver a lista completa:

    

Answer 2

Eu procurei resolver esse problema exatamente, pelo menos em um mac. Você basicamente tem que soltar esses arquivos de fontes na pasta de fontes direcotry do seu ambiente java. O PHPStorm, sendo um aplicativo java, utiliza fontes que formam esses diretórios um pouco diferentes dos que estão na pasta de fontes do sistema.

Você deve ver as várias opções de opções de peso da fonte para o código fonte pro depois de fazer isso.

postagem no blog com mais detalhes & instruções, se você estiver interessado: link