Highlighter: Document origin of default colors

2022-08-16 13:08:13 +02:00 · 2022-08-16 13:08:13 +02:00 · 218dc69aa5
commit 218dc69aa5
parent d50c616d3f
1 changed files with 1 additions and 0 deletions
--- 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');