Everywhere it seems to say that I just simply need to change 'editor.fontFamily'. But how? This is the default value for it:
"editor.fontFamily": "'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
What do all those multiple entries mean ( like monospace with and without quotes ) and how would I change it to 'DejaVu' fonts for example?
VScode does its styling via CSS. This is knows as a "fallback group". If one font is not available, it automatically uses the next one in line, from left to right.
To do what you asked for:
"editor.fontFamily": "'DejaVu Mono', 'monospace'"
If that doesn't work, look up the correct name of the font and put in in there. The quotes are used mainly with names that have spaces in them.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With