You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was pretty surprised to hear that they've reworked the token style, as I've never noticed any changes. After comparing Markdown and how its rendered by different GitHub features I now know why: They don't seem to apply the new style everywhere.
Shouldn't things like "is" and "not" in Python be blue, rather than orange.
I also spotted some other differences in other languages (HTML, Ruby, C++). Not sure if they were related to changes at GitHub or due to limitations of Pygments.
You could also consider switching on operators. Since they are blue now, the additional colouring of dots by Pygments is barely seen and not too distracting.
Don't have time to perform these changes right now, but would still be open to merging this in if you put together a PR. (please update the "Compromises" table as well) 🙂
Activity
PhilipTrauner commentedon Apr 7, 2020
I was pretty surprised to hear that they've reworked the token style, as I've never noticed any changes. After comparing Markdown and how its rendered by different GitHub features I now know why: They don't seem to apply the new style everywhere.
Here's a quick comparison:
Unmodified pygments
Modified pygments
GitHub Markdown Preview
GitHub Gist
Unmodified pygments still closely (within the constraints pointed out in the README.md) matches GitHub Markdown Preview.
GitHub Gist is definitely different though, so I've tried to replicate it by making the following changes which are illustrated by Modified pygments.
I'm not opposed to pushing these to
master, so please me know if you are satisfied with the result 🙂fladd commentedon Apr 7, 2020
Looks good.
Some more observations:
Shouldn't things like "is" and "not" in Python be blue, rather than orange.
I also spotted some other differences in other languages (HTML, Ruby, C++). Not sure if they were related to changes at GitHub or due to limitations of Pygments.
Have a look at those examples here: https://gist.github.com/fladd/3280e197f0b9d6958c25b121e7ac3390
You could also consider switching on operators. Since they are blue now, the additional colouring of dots by Pygments is barely seen and not too distracting.
fladd commentedon Feb 25, 2021
Any news on this?
PhilipTrauner commentedon Feb 26, 2021
Don't have time to perform these changes right now, but would still be open to merging this in if you put together a PR. (please update the "Compromises" table as well) 🙂