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
Customize colors for JSON syntax highlighting #30105
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There are a few generated files in here that should be deleted :)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let me fix the gigantic diff first
Previously, we used the same syntax highlighting color for JSON keys and values. This commit overrides the color for keys so that it's easier to distinguish them from values. **Before (current behavior on Cloud)** ![CleanShot 2022-01-24 at 15 20 44](https://user-images.githubusercontent.com/1408093/150800080-d9fb3e7c-581c-49ed-a0df-4158b3e48ceb.png) **After (this PR)** ![CleanShot 2022-01-24 at 15 20 58](https://user-images.githubusercontent.com/1408093/150800132-318d13a3-516c-4950-ad32-b3eecbef9cc8.png) ![CleanShot 2022-01-24 at 15 20 54](https://user-images.githubusercontent.com/1408093/150800144-a06ae4f7-6442-42dd-886e-b8855eed1b2d.png)
ab86d26
to
f105a63
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Added an entry to the changelog
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Cool!
Previously, we used the same syntax highlighting color for JSON keys and
values. This commit overrides the color for keys so that it's easier to
distinguish them from values.
Before (current behavior on Cloud)
After (this PR)