12-07-2023, 02:07 PM
How fun it is to have a single Unicode character be a variable name in the Julia REPL! Should have the "JuliaMono" going on then.
There are also the "Nerd" fonts, but some of these suck with vertical space and lying a bit about point size ("Terminess" I'm looking at you).
https://www.nerdfonts.com/font-downloads
This allows the user to see how the fonts look like. Although it just goes somewhere into this place:
https://github.com/ryanoasis/nerd-fonts
There are also the "Nerd" fonts, but some of these suck with vertical space and lying a bit about point size ("Terminess" I'm looking at you).
https://www.nerdfonts.com/font-downloads
This allows the user to see how the fonts look like. Although it just goes somewhere into this place:
https://github.com/ryanoasis/nerd-fonts