From bba374c79b6aa8c8109fb41cf3dc675ac182195a Mon Sep 17 00:00:00 2001 From: Matt Bierner Date: Tue, 12 Sep 2017 18:58:53 -0700 Subject: [PATCH] Colorize python placeholders in strings --- extensions/theme-defaults/themes/dark_vs.json | 5 +++-- extensions/theme-defaults/themes/hc_black_defaults.json | 5 +++-- extensions/theme-defaults/themes/light_vs.json | 5 +++-- extensions/theme-red/themes/Red-color-theme.json | 5 +++-- 4 files changed, 12 insertions(+), 8 deletions(-) diff --git a/extensions/theme-defaults/themes/dark_vs.json b/extensions/theme-defaults/themes/dark_vs.json index 5c44ca0bbcc..91ad2adcbd7 100644 --- a/extensions/theme-defaults/themes/dark_vs.json +++ b/extensions/theme-defaults/themes/dark_vs.json @@ -248,11 +248,12 @@ } }, { - "name": "JavaScript string interpolation ${}", + "name": "String interpolation", "scope": [ "punctuation.definition.template-expression.begin", "punctuation.definition.template-expression.end", - "punctuation.section.embedded" + "punctuation.section.embedded", + "constant.character.format.placeholder" ], "settings": { "foreground": "#569cd6" diff --git a/extensions/theme-defaults/themes/hc_black_defaults.json b/extensions/theme-defaults/themes/hc_black_defaults.json index be310e8addd..cd54a7bd6d2 100644 --- a/extensions/theme-defaults/themes/hc_black_defaults.json +++ b/extensions/theme-defaults/themes/hc_black_defaults.json @@ -237,11 +237,12 @@ } }, { - "name": "JavaScript string interpolation ${}", + "name": "String interpolation", "scope": [ "punctuation.definition.template-expression.begin", "punctuation.definition.template-expression.end", - "punctuation.section.embedded" + "punctuation.section.embedded", + "constant.character.format.placeholder" ], "settings": { "foreground": "#569cd6" diff --git a/extensions/theme-defaults/themes/light_vs.json b/extensions/theme-defaults/themes/light_vs.json index 9627e324264..42fc12c88bd 100644 --- a/extensions/theme-defaults/themes/light_vs.json +++ b/extensions/theme-defaults/themes/light_vs.json @@ -244,11 +244,12 @@ } }, { - "name": "JavaScript string interpolation ${}", + "name": "String interpolation", "scope": [ "punctuation.definition.template-expression.begin", "punctuation.definition.template-expression.end", - "punctuation.section.embedded" + "punctuation.section.embedded", + "constant.character.format.placeholder" ], "settings": { "foreground": "#0000ff" diff --git a/extensions/theme-red/themes/Red-color-theme.json b/extensions/theme-red/themes/Red-color-theme.json index b7db36b8fe4..7b14c4d558d 100644 --- a/extensions/theme-red/themes/Red-color-theme.json +++ b/extensions/theme-red/themes/Red-color-theme.json @@ -387,11 +387,12 @@ } }, { - "name": "String interpolation ${}", + "name": "String interpolation", "scope": [ "punctuation.definition.template-expression.begin", "punctuation.definition.template-expression.end", - "punctuation.section.embedded" + "punctuation.section.embedded", + "constant.character.format.placeholder" ], "settings": { "foreground": "#ec0d1e"