From 1e549eff08d320f75a74d7e78aca539ddc2cd987 Mon Sep 17 00:00:00 2001 From: Mattia Astorino Date: Sun, 17 Mar 2019 19:40:43 +0100 Subject: [PATCH] fix: Fix punctuation color Close #332 --- src/themes/theme-template-color-theme.json | 1 - 1 file changed, 1 deletion(-) diff --git a/src/themes/theme-template-color-theme.json b/src/themes/theme-template-color-theme.json index bc5f5d8..e726792 100644 --- a/src/themes/theme-template-color-theme.json +++ b/src/themes/theme-template-color-theme.json @@ -93,7 +93,6 @@ "scope": [ "keyword.control", "constant.other.color", - "punctuation", "punctuation.definition.tag", "punctuation.separator.inheritance.php", "punctuation.definition.tag.html",