search

tlienart / Xranklin.jl

Experimental repo for a refactoring of Franklin.jl
https://tlienart.github.io/Xranklin.jl
MIT License
40 stars 1 forks source link

What symbols are needed for REPL outputs? #242

Open kescobo opened 1 year ago

kescobo commented 1 year ago

image

I thought that my terminal was using font with all the symbols I might need, but I'm getting this output. Just curious if there's a recommended font or a list of used glyphs

tlienart commented 1 year ago

Hahaha so much for using emojis in info stuff 😱 ; what you boxed in red should have shown as 1️⃣ . I'm using VS Code. My terminal is zsh but I don't think I use fancy fonts; as far as I could see in VSC it's Menlo, Monaco, 'Courier New', monospace.

It does suggest avoiding emojis for info messages though...

kescobo commented 1 year ago

I really love the emojis though, don't get rid of them!

tlienart commented 1 year ago

I think there's a subset that's more widely supported, not sure how to figure that out though, and then we could restrict to it.

kescobo commented 1 year ago

Hahaha so much for using emojis in info stuff 😱 ; what you boxed in red should have shown as 1️⃣ .

What happens when I try to make Chars out of those two... maybe this can help somehow?

image

tlienart commented 1 year ago

Right, so it looks like 1️⃣ is not part of the base emoji symbols here: https://github.com/JuliaLang/julia/blob/master/stdlib/REPL/src/emoji_symbols.jl whereas things like the hourglass ("\\:hourglass_flowing_sand:" => "⏳",) or the lightbulb ("\\:bulb:" => "💡",) are. So probably the safest is to only use emojis from that list.