Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Web UI font does not have symbol for ⁻ (superscript minus) #660

Open
septatrix opened this issue Nov 22, 2024 · 4 comments
Open

Web UI font does not have symbol for ⁻ (superscript minus) #660

septatrix opened this issue Nov 22, 2024 · 4 comments

Comments

@septatrix
Copy link

They are display as missing chars instead

@sharkdp
Copy link
Owner

sharkdp commented Nov 22, 2024

It seems to work fine for me?

image

@septatrix
Copy link
Author

Likely because your fallback font for monospace has that font available. For me this happens on Chrome/Android whereas on my desktop the glyph is displayed because "Noto Sans Mono" has it. In the Firefox and Chrome devtools it even shows that Noto Sans Mono provides one glyph when it includes a superscript minus. You can also check on Google fonts that Fira Mono does not provide the superscript minus glyph. Adding another fallback is likely sufficient as a workaround (though I also raised this issue upstream: mozilla/Fira#253)

@sharkdp
Copy link
Owner

sharkdp commented Dec 27, 2024

Thank you for the explanation!

Adding another fallback would probably mean we would have to load an additional font from https://fonts.google.com/?

@septatrix
Copy link
Author

Adding another fallback would probably mean we would have to load an additional font from https://fonts.google.com/?

Yes though I think that it would not be loaded unless required but I could be mistaken

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants