Comment spécifier une police bold dans settings.json
De VS Code? Par exemple, j'ai Envy Code R
Et Envy Code R Bold
(Noms exacts affichés dans la visionneuse de polices de Windows) installés sur ma machine Windows, et pendant
"editor.fontFamily": "Envy Code R"
le réglage fonctionne bien,
"editor.fontFamily": "Envy Code R Bold"
ne fonctionne pas (une police de secours est utilisée à la place).
Est-ce possible de faire quoi que ce soit? Il n'y a aucun autre paramètre de police comme fontWeight
ou fontStyle
. J'ai également essayé de spécifier d'autres polices avec des variantes audacieuses en vain. Code VS 0.10.11
Ici.
Dans votre settings.json .vscode ajoutez cette ligne:
"editor.fontWeight": "bold"
Il s'agit d'un bug avec Atom: https://github.com/atom/atom/issues/379
Une solution de contournement consiste à supprimer les espaces et à ajouter un trait d'union entre le nom de la police et le poids.
Envy Code R Bold == EnvyCodeR-Bold
réf: https://github.com/Microsoft/vscode/issues/381#issuecomment-1633561
Autre moyen:
Sur MAC, accédez à Code -> Préférences -> Paramètres ou appuyez sur le raccourci CMD + ,
Dans la barre de recherche, écrivez simplement la police et vous devriez trouver:
Editeur: Font Weight
Et à partir de là, vous pouvez choisir le poids de votre police de 100 à 900