[hinkley]

It's the kind of UI experimentation I like to see people try, but I'm not sure they nailed this one.

Probably onto something though. Try different diacritical symbols and see what sticks. Given how '"' looks, maybe combining above or below needs to vary by character. Above probably looks awful for '.' and ','.

Really I think the strikethrough might suffice. The only way to know for sure is to take away the color highlighting, so my brain doesn't use it as a crutch, and see if people can still read the diff.

[jacobolus]

Using diacritics for this is extremely visually noisy and not very legible.

There has to be a better method.

[colejohnson66]

Plus and minus symbols at the beginning of a colored line have worked pretty well. It is a neat trick, but it is noisy.