Comment modifier les paramètres du code VS pour utiliser la police JetBrains Mono

Question

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 la suivante : que dois-je mettre dans la section editor.fontFamily pour que JetBrains soit utilisé ?

J'ai essayé "editor.fontFamily": "JetBrains, Consolas, 'Courier New', monospace" sans succès.

Answer 1

Ouvrez les paramètres VSCode (Code -> Préférences -> Paramètres), puis ajoutez à la fin du fichier JSON des paramètres utilisateur :

   "editor.fontFamily": "JetBrains Mono",
  "editor.fontSize": 13,
  "editor.fontLigatures": true

Answer 2

Sur la base de ce que @Grekkq et @Gyliph ont fourni, voici à quoi ressemblent mes paramètres :

     // Set the font
    "editor.fontFamily": "'JetBrains Mono', Consolas, 'Courier New', monospace",
    // Set the font size
    "editor.fontSize": 13,
    // Turn on font ligatures
    "editor.fontLigatures": true,
    // Set letter spacing
    "editor.letterSpacing": 0.4,
    // Enable smooth scrolling in the editor
    "editor.smoothScrolling": true,

L'astuce pour ajouter JetBrains Mono à la liste actuelle des familles de polices consistait à envelopper 'JetBrains Mono' entre guillemets simples (car il y a un espace dans le nom de la police).

Answer 3

Juste ça suffira

 "editor.fontFamily": "JetBrains Mono"

Et si tu veux des ligatures aussi

 "editor.fontLigatures": true

Answer 4

Le moyen le plus simple est : ouvrez les paramètres Ctrl+, choisissez Éditeur de texte -> Police, et ajoutez ce « JetBrains Mono » à la famille de polices. À partir de là, vous pouvez également modifier le poids et la taille de la police, puis redémarrez votre code VS pour voir le changement