J'ai téléchargé et installé la police JetBrains Mono https://www.jetbrains.com/lp/mono/
J'essaie de configurer VS Code pour l'utiliser.
J'ai ajouté les lignes suivantes à mon fichier settings.json:
// Set the font
"editor.fontFamily": "Consolas, 'Courier New', monospace", // Copied from current settings
// Turn on font ligatures
"editor.fontLigatures": true, // Override default value of false
Ma question est: que dois-je mettre dans la editor.fontFamily
section pour utiliser JetBrains?
J'ai essayé "editor.fontFamily": "JetBrains, Consolas, 'Courier New', monospace"
sans succès.
Réponses:
Ouvrez les paramètres VSCode (Code -> Préférences -> Paramètres), puis ajoutez à la fin du fichier JSON des paramètres utilisateur:
la source
En s'appuyant sur ce que @Grekkq et @Gyliph ont fourni, voici à quoi ressemblent mes paramètres:
L'astuce pour ajouter JetBrains Mono à la liste actuelle des familles de polices était de mettre
'JetBrains Mono'
entre guillemets simples (car il y a un espace dans le nom de la police).la source
Juste ce sera suffisant
Et si tu veux aussi des ligatures
la source
Tout d'abord, vous entrerez vos préférences -> paramètres -> Éditeur de texte -> Police
Et puis vous pouvez cliquer et modifier vos paramètres là-bas.
Comment trouver les paramètres de police
Ensuite, vous pouvez y modifier vos paramètres, comme vous pouvez le voir ci-dessous. Voici à quoi ressemblent mes paramètres de police (y compris une démonstration visuelle de JetBrains!):
Mes paramètres
la source
La manière la plus simple est: ouvrez les paramètres Ctrl +, choisissez Editeur de texte -> Police et ajoutez ce 'JetBrains Mono' à la famille de polices. Vous pouvez également modifier le poids et la taille de la police, puis redémarrer votre code VS pour voir le changement
la source