I want to install JetBrains Mono Nerd Font, which is perfectly possible. But that leads me to have two sets of the same typography installed, the one by default used in mb-jgtools and my nerd font installation.
Just wondering if this hard dependency could be changed…
It’s a beautiful typography, indeed (great choice, by the way).
This probably means having to edit dozens of files (20 to 30) and make several hundred changes
I don’t think I quite understand what the problem is. Are there any conflicts with Jet Brains fonts?
It was a coincidence that you and I chose JetBrains font. Me, for terminal applications, but using the Nerd font variant. I know I will have two JetBrains in my font listings
I see there is a lot of trouble. So, please, don´t mind at all. I thought it was a customization option, such as in Colorizer fonts for themeing.