[ty] Fix None, True and False highlighting in playground (#20994)

This commit is contained in:
Micha Reiser 2025-10-20 19:25:08 +02:00 committed by GitHub
parent 54cd9d889d
commit 0520d11a66
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 8 additions and 0 deletions

0
playground/issue.py Normal file
View file

View file

@ -290,6 +290,10 @@ function defineAyuThemes(monaco: Monaco) {
foreground: COSMIC,
token: "keyword",
},
{
foreground: COSMIC,
token: "builtinConstant",
},
{
foreground: CONSTELLATION,
token: "number",
@ -575,6 +579,10 @@ function defineAyuThemes(monaco: Monaco) {
foreground: RADIATE,
token: "keyword",
},
{
foreground: RADIATE,
token: "builtinConstant",
},
{
foreground: PROTON,
token: "tag",