Zulip Chat Archive

Stream: general

Topic: broken glyphs in github


Mario Carneiro (Feb 01 2024 at 11:28):

Is anyone else seeing missing glyphs in the definition of src#PointedCone ?

Martin Dvořák (Feb 01 2024 at 11:57):

Mario Carneiro said:

Is anyone else seeing missing glyphs in the definition of src#PointedCone ?

Can you post a screenshot?

Mario Carneiro (Feb 01 2024 at 11:59):

image.png

Mario Carneiro (Feb 01 2024 at 12:00):

it appears correctly for a moment but then gets messed up by the syntax highlighting or something

Martin Dvořák (Feb 01 2024 at 12:01):

On my computer, it is all right.
image.png
My font is Jetbrains Mono.

Mario Carneiro (Feb 01 2024 at 12:01):

this is in github

Mario Carneiro (Feb 01 2024 at 12:02):

it's fine locally

Martin Dvořák (Feb 01 2024 at 12:02):

Ah, my bad! I see black background and immediately thing it is VS Code.

Mario Carneiro (Feb 01 2024 at 12:02):

Here's what it looks like if I screenshot the page just after initial load
image.png

Notification Bot (Feb 01 2024 at 12:04):

9 messages were moved here from #PR reviews > #7386 Linear Programming by Mario Carneiro.

Floris van Doorn (Feb 01 2024 at 14:47):

For me it looks fine on Github, even when waiting a bit:
image.png

Mario Carneiro (Feb 01 2024 at 14:49):

(FF + ubuntu)

Floris van Doorn (Feb 01 2024 at 14:53):

Ah, it works for me in Windows + Chrome, but in Windows + Firefox it is also messed up:
image.png

Patrick Massot (Feb 01 2024 at 14:54):

Same here.

Anatole Dedecker (Feb 01 2024 at 15:03):

Yes I've been having these issues in Firefox (Ubuntu) for a while :/

Eric Rodriguez (Feb 01 2024 at 15:04):

FF+OS X has this issue too (as does FF+Android, but in a more serious way that has been known for a while)

Kevin Buzzard (Feb 01 2024 at 16:19):

(indeed it's also bad for me in FF, fine in Chrome)

Luigi Massacci (Feb 01 2024 at 17:08):

Surprisingly it works just fine with Firefox + Ipad OS, unexpected

Ruben Van de Velde (Feb 01 2024 at 17:39):

For now, Firefox on iOS is actually safari under the hood (though that may change in Europe)

Mario Carneiro (Feb 02 2024 at 06:42):

Those look like unpaired surrogates in UTF-16, I'm guessing there is some bad unicode handling in github's code

Kevin Buzzard (Feb 02 2024 at 06:49):

Didn't @Reid Barton have an example of this years ago? Or is this a different issue?

Eric Wieser (Feb 02 2024 at 06:50):

We saw a version of this before where the syntax highlighting would cut a surrogate pair in two

Mario Carneiro (Feb 02 2024 at 06:50):

It looks like the code has been split into two-UTF-16-codepoint chunks, which is why only some of the 𝕜's are broken
image.png

Eric Wieser (Feb 02 2024 at 06:51):

(the previous bug was declared wont-fix due to lack of developer time)

Mario Carneiro (Feb 02 2024 at 06:54):

do you have a link @Eric Wieser ? This does indeed seem to be the same bug

Kevin Buzzard (Feb 02 2024 at 06:55):

I'm pretty sure there was an elegant one-line gist with some \< s in.

Eric Wieser (Feb 02 2024 at 06:56):

https://github.com/github-linguist/linguist/issues/5069

Mario Carneiro (Feb 02 2024 at 06:58):

Actually that one seems to be a different issue, that's about splitting across different color regions. Here there is splitting within a single chunk, surely there isn't anything in the regex highlighter saying you should split the text into two char chunks

Mario Carneiro (Feb 02 2024 at 06:59):

also the original reproduction is no longer broken on github

Kevin Buzzard (Feb 02 2024 at 07:00):

Well that issue was certainly what I was referring to

Mario Carneiro (Feb 02 2024 at 08:31):

In chromium the span is not split into pieces:
image.png

Mario Carneiro (Feb 02 2024 at 08:32):

so this seems like an issue with github proper and not linguist

Mario Carneiro (Feb 02 2024 at 08:32):

and/or firefox

Mario Carneiro (Feb 02 2024 at 08:50):

reported as https://github.com/orgs/community/discussions/103098

Kevin Buzzard (Feb 02 2024 at 09:04):

I gave it an upvote :-)

Floris van Doorn (Apr 09 2024 at 00:54):

This is now fixed in Firefox 124+.


Last updated: May 02 2025 at 03:31 UTC