From 29c372ff673f460009ad6fc9d7dfe84f131c7743 Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Wed, 19 Jan 2022 22:14:37 +0100 Subject: [PATCH] [themes] monokai Dimmed theme issue. Fixes #80704 --- .../theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json index 92bea194626..27b9277f724 100644 --- a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json +++ b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json @@ -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"