Stream: helpdesk (published)

Topic: ✔ JuliaMono fonts


view this post on Zulip Syx Pek (Nov 20 2022 at 19:35):

This might be stupid of me, but I found out about cormullion's Glyphy.info. I tried searching circumflex and it stated that the following character Char(0x10eb1) is not in juliamono. But I still see it? This makes me paranoid that I've not been using JuliaMono...

view this post on Zulip Mason Protter (Nov 20 2022 at 19:44):

Generally the way fonts work is through fallbacks. So any character your font doesn't have falls back to another font

view this post on Zulip Syx Pek (Nov 20 2022 at 19:48):

Is there a definitive way to check that I'm using JuliaMono as my "top-level" font.

view this post on Zulip Syx Pek (Nov 20 2022 at 19:54):

Ah I figured out that 0 is probably in every font. So playing around with font ligature settings I can work it out.

view this post on Zulip Notification Bot (Nov 20 2022 at 19:54):

Syx Pek has marked this topic as resolved.

view this post on Zulip cormullion (Nov 20 2022 at 20:35):

You could look at 0xe800 (or 0xe803)... :grinning:

view this post on Zulip Mason Protter (Nov 20 2022 at 20:40):

Hmm, I'm pretty sure I have JuliaMono running, but those characters don't show up for me

view this post on Zulip Mason Protter (Nov 20 2022 at 20:43):

image.png

view this post on Zulip cormullion (Nov 20 2022 at 20:48):

e728 ?

view this post on Zulip Mason Protter (Nov 20 2022 at 20:51):

image.png

view this post on Zulip Mason Protter (Nov 20 2022 at 20:52):

Also happening in Konsole image.png

view this post on Zulip cormullion (Nov 20 2022 at 20:53):

oh - i dont know ...

view this post on Zulip Mason Protter (Nov 20 2022 at 20:56):

Maybe my system is interfering with the PUA

view this post on Zulip cormullion (Nov 20 2022 at 20:56):

How about 0xe843?

view this post on Zulip Mason Protter (Nov 20 2022 at 20:59):

Nope :frown:

view this post on Zulip Syx Pek (Nov 20 2022 at 21:03):

I believe that is a Julia thing. You can try Char(0xe728) |> clipboard and pasting back in.

view this post on Zulip Syx Pek (Nov 20 2022 at 21:05):

Or Char(0xe728) |> print for that matter. It makes sense to not show the character as it won't show up in most cases :S

view this post on Zulip Mason Protter (Nov 20 2022 at 21:07):

Aha! That makes sense

view this post on Zulip Mason Protter (Nov 20 2022 at 21:10):

I was tricked because for regular code points, doing that does display them

view this post on Zulip Mason Protter (Nov 20 2022 at 21:10):

image.png


Last updated: Oct 02 2023 at 04:34 UTC