Default embedded Deno symbol is too small

[mitchellh]

Discussed in #5605

^{Originally posted by Zimzozaur February 6, 2025}

Is it a bug?

OS: Manjaro Linux x86_64
Kernel: 6.11.11-1-MANJARO
Shell: fish 3.7.1
DE: Plasma 6.2.4
Zig: 0.13.0

MRE:

python3

print("\ue7c0")

Notes

We should try to fix our default embedded font or we may want to actually split out symbols from the monospace font itself. I'm open to either. The font family itself should not change (it should be JB Mono) but we have to fix the symbols.

[mitchellh]

This has an easy workaround, but requires the user to install their own symbols font:

font-codepoint-map = U+e000-U+e00a,U+ea60-U+ebeb,U+e0a0-U+e0c8,U+e0ca,U+e0cc-U+e0d7,U+e200-U+e2a9,U+e300-U+e3e3,U+e5fa-U+e6b1,U+e700-U+e7c5,U+ed00-U+efc1,U+f000-U+f2ff,U+f000-U+f2e0,U+f300-U+f372,U+f400-U+f533,U+f0001-U+f1af0=Symbols Nerd Font Mono

[rhodes-b]

or we may want to actually split out symbols from the monospace font itself

I have seen some people actually request the ability to not render nerd fonts at all

If they are split should there be a new option to render them as invisible (a space? im not sure how that works)

That would be a better experience than the question mark.

It is very niche and I would imagine that it would have very very low adoption

[mitchellh]

Thanks for noting that. I don't think we should conflate this issue with that, since we already embed them and this issue is about fixing the behavior of the embedding, not to remove it.

Can you open a discussion for that and we can talk about it?

[00-kat]

Could the title be updated to note that this is only for the Deno icon? Some people may conflate this with #3501/#1903.

[mitchellh]

Done, although I think it applies to more than that.

[mitchellh]

From @qwerasd205: #7100 (comment)