Bold editor fonts? Yes, please!
March 5, 2023 — So, this is it! After I’ve seen this screenshot in one of the tweets by Nuno Maduro where he’s using the JetBrains Mono fonts in his editor with the bold font weight, I was like, “I definitely need to try this thingy!”.