From 218dc69aa562eb6960b742099e128860d38849b7 Mon Sep 17 00:00:00 2001 From: networkException Date: Tue, 16 Aug 2022 13:08:13 +0200 Subject: [PATCH] Highlighter: Document origin of default colors --- src/html/highlighter/properties/color.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/html/highlighter/properties/color.ts b/src/html/highlighter/properties/color.ts index 0c66b00..b9641ca 100644 --- a/src/html/highlighter/properties/color.ts +++ b/src/html/highlighter/properties/color.ts @@ -1,6 +1,7 @@ import { Property } from '../property.js'; export class Color extends Property { + // Taken from https://github.com/material-theme/vsc-community-material-theme/blob/develop/themes/Community-Material-Theme-Palenight.json public static Plain = new Color('#a6accd'); public static Punctuator = new Color('#89ddff'); public static Tag = new Color('#f07178');