[themes] monokai Dimmed theme issue. Fixes #80704

This commit is contained in:
Martin Aeschlimann 2022-01-19 22:14:37 +01:00
parent b22ee20028
commit 29c372ff67
No known key found for this signature in database
GPG key ID: 2609A01E695523E3

View file

@ -347,7 +347,7 @@
},
{
"name": "HTML String",
"scope": "string.quoted.double.html, punctuation.definition.string.begin.html, punctuation.definition.string.end.html",
"scope": "string.quoted.double.html, punctuation.definition.string.begin.html, punctuation.definition.string.end.html, punctuation.definition.string.end.html source, string.quoted.double.html source",
"settings": {
"fontStyle": "",
"foreground": "#9AA83A"