search

JuliaLang / juliaup

Julia installer and version multiplexer
MIT License
976 stars 82 forks source link

Ship JuliaMono font #46

Open davidanthoff opened 3 years ago

davidanthoff commented 3 years ago

Should we? Not sure, because Windows Terminal for example has pretty nice new default fonts. But we should investigate. I think technically this might actually be fairly simple because MSIX does support font install, AFAIK.

jlperla commented 3 years ago

Big time 👍. Also, maybe an option to change the settings in your vscode config files?

davidanthoff commented 3 years ago

I have to admit I didn't follow the whole font story very much. Does JuliaMono have some specific benefit over the cascadia fonts that are Microsoft's new default for terminal etc?

jlperla commented 3 years ago

WAY more unicode coverage, if I recall, especially for things useful for mathematical symbols . Or at least when I tried that was what I saw. https://juliamono.netlify.app/ might have some more info. Although it is worth checking every once in a while to see if that is still true. I think the key is to take Cascadia Code PL or something like that to the appropriate juliamono one with embedded powerline symbols (though maybe they all have it?)

@cormullion do you have an easy comparison test to see the difference with that default?

cormullion commented 3 years ago

For maths symbols, the only direct comparison between fonts that I know is here: https://mono-math.netlify.app/

Visual comparisons of the basic character set are (eg) here: https://devfonts.gafi.dev

Cascadia has many more weights, has versions with and without ligatures, and also has an italic version (as of this month I think).

On a purely numeric basis, Cascadia has about 1,800 characters; JuliaMono has about 10,000.

In an ideal world, users could choose and install a font from a swishy dialog box that shows some sample text. Font choice is quite a personal thing, after all.

But I would suggest that Cascadia is a solid and safe first choice; JuliaMono might be a useful alternative or back-up font for the more adventurous.

davidanthoff commented 3 years ago

We could also just ship it but not configure it as a default... That would at least make it easier for folks to use it?

cormullion commented 3 years ago

I think that would be good!

jlperla commented 3 years ago

If you aren't messing around with the configuration files and the files are relatively lightweight, then I would vote for always shipping/updating juliamono. Unless font installation is something that could make things more brittle in the installation.