Arduino on Windows 10 Font Issue - Hints

I had a problem with Arduino not using custom fonts on Windows 10.

I seemed to have fixed the problem by changing one of these two things:

1.) Use lower case letters for font names.
2.) Install fonts for all users.

Custom font example:
editor.font=bitstream vera sans mono,plain,18

Thanks for sharing what you discovered. I'd guess it was (2) that did it, because I just tried with both the correct case of font name, as well as lower case, and both work for me on Windows 10.