Why couldn't I find JetBrains Mono file in vscode?-CodePudding

Side Note: This problem is confirmed to not repeat with And just clicked each individual font file, And clicked Install, just like in the above image.

To confirm, I clicked on Settings and sure enough, I had all the fonts installed: Well, notice it is NL, but I also installed JetBrains Mono.

I desired to use the font in Visual Studio Code.

I initially did this in settings.json:

{
    // Set the font
    "editor.fontFamily": "'JetBrains Mono'",
    // Set the font size
    "editor.fontSize": 13,
    // Turn on font ligatures
    "editor.fontLigatures": true,
    // Set letter spacing
    "editor.letterSpacing": 0.4,
}

Though, unfortunately, it did not work: Did I miss something? Please offer a solution. Thanks!

Note: I have autosave enabled in vscode, which implies that changes I have made in settings.json will automatically take place in vscode. This hypothesis has been tested, as shown the third image.

CodePudding user response：

Seems OK to me. You need to restart VScode for the change to take place.