From 0883e26f21cc3ff8c5ed22d3cc1d040f0e74133e Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Fri, 15 Dec 2023 16:00:46 +0100
Subject: [PATCH] attributing random colors to everything

---
 src/EditorSetup.ts | 197 ++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 194 insertions(+), 3 deletions(-)

diff --git a/src/EditorSetup.ts b/src/EditorSetup.ts
index fd9a625..4e7984a 100644
--- a/src/EditorSetup.ts
+++ b/src/EditorSetup.ts
@@ -1,5 +1,6 @@
 import { Prec } from "@codemirror/state";
 import { indentWithTab } from "@codemirror/commands";
+import { tags as t } from "@lezer/highlight";
 import {
   keymap,
   lineNumbers,
@@ -38,10 +39,200 @@ import { toposCompletions, soundCompletions } from "./documentation/inlineHelp";
 import { javascriptLanguage } from "@codemirror/lang-javascript";
 
 export const updateCodeMirrorTheme = (theme: {[key: string]: string}): Extension => {
-  let toposTheme = EditorView.theme({
+  const color0 = theme["color0"],
+        color1 = theme["color1"],
+        color2 = theme["color2"],
+        color3 = theme["color3"],
+        color4 = theme["color4"],
+        color5 = theme["color5"],
+        color6 = theme["color6"],
+        color7 = theme["color7"],
+        color8 = theme["color8"],
+        color9 = theme["color9"],
+        color10 = theme["color10"],
+        color11 = theme["color11"],
+        color12 = theme["color12"],
+        color13 = theme["color13"],
+        color14 = theme["color14"],
+        color15 = theme["color15"];
+  const toposTheme = EditorView.theme( {
+      "&": {
+        color: color5,
+        // backgroundColor: background,
+        backgroundColor: "transparent",
+        fontSize: "24px",
+        fontFamily: "IBM Plex Mono",
+      },
+      ".cm-content": {
+        caretColor: color6,
+        fontFamily: "IBM Plex Mono",
+      },
+      ".cm-cursor, .cm-dropCursor": {
+        borderLeftColor: color6,
+      },
+      "&.cm-focused .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection":
+        {
+          backgroundColor: color0,
+          border: `0.5px solid ${color0}`,
+        },
+      ".cm-panels": {
+        backgroundColor: color0,
+        color: color4,
+      },
+      ".cm-panels.cm-panels-top": { borderBottom: "2px solid black" },
+      ".cm-panels.cm-panels-bottom": { borderTop: "2px solid black" },
+      ".cm-search.cm-panel": { backgroundColor: "transparent" },
+      ".cm-searchMatch": {
+        outline: `1px solid ${color3}`,
+      },
+      ".cm-searchMatch.cm-searchMatch-selected": {
+        backgroundColor: color0,
+      },
+      ".cm-activeLine": {
+        // backgroundColor: highlightBackground
+        backgroundColor: "rgb(76,76,106, 0.1)",
+      },
+      ".cm-selectionMatch": {
+        backgroundColor: color4,
+        outline: `1px solid ${color10}`,
+      },
+      "&.cm-focused .cm-matchingBracket": {
+        color: color2,
+        // outline: `1px solid ${base02}`,
+      },
 
-  });
-  let toposHighlightStyle = HighlightStyle.define([]);
+      "&.cm-focused .cm-nonmatchingBracket": {
+        color: color3,
+      },
+
+      ".cm-gutters": {
+        //backgroundColor: base00,
+        backgroundColor: "transparent",
+        color: color4,
+      },
+      ".cm-activeLineGutter": {
+        backgroundColor: color0,
+        color: color2,
+      },
+
+      ".cm-foldPlaceholder": {
+        border: "none",
+        color: `${color7}`,
+      },
+      ".cm-tooltip": {
+        border: "none",
+        backgroundColor: color12,
+      },
+      ".cm-tooltip .cm-tooltip-arrow:before": {},
+      ".cm-tooltip .cm-tooltip-arrow:after": {
+        borderTopColor: color13,
+        borderBottomColor: color14,
+      },
+      ".cm-tooltip-autocomplete": {
+        "& > ul > li[aria-selected]": {
+          backgroundColor: color0,
+          color: color3,
+        },
+      },
+    },
+    { dark: true },
+  );
+
+  let toposHighlightStyle = HighlightStyle.define([
+    { tag: t.keyword, color: color3 },
+    {
+      tag: [t.name, t.deleted, t.character, t.macroName],
+      color: color2,
+    },
+    { tag: [t.propertyName], color: color4 },
+    { tag: [t.variableName], color: color5 },
+    { tag: [t.function(t.variableName)], color: color2 },
+    { tag: [t.labelName], color: color3 },
+    {
+      tag: [t.color, t.constant(t.name), t.standard(t.name)],
+      color: color4,
+    },
+    { tag: [t.definition(t.name), t.separator], color: color6 },
+    { tag: [t.brace], color: color3 },
+    {
+      tag: [t.annotation],
+      color: color10,
+    },
+    {
+      tag: [t.number, t.changed, t.annotation, t.modifier, t.self, t.namespace],
+      color: color7,
+    },
+    {
+      tag: [t.typeName, t.className],
+      color: color7,
+    },
+    {
+      tag: [t.operator, t.operatorKeyword],
+      color: color8,
+    },
+    {
+      tag: [t.tagName],
+      color: color7,
+    },
+    {
+      tag: [t.squareBracket],
+      color: color13,
+    },
+    {
+      tag: [t.angleBracket],
+      color: color2,
+    },
+    {
+      tag: [t.attributeName],
+      color: color5,
+    },
+    {
+      tag: [t.regexp],
+      color: color4,
+    },
+    {
+      tag: [t.quote],
+      color: color4,
+    },
+    { tag: [t.string], color: color14 },
+    {
+      tag: t.link,
+      color: color4,
+      textDecoration: "underline",
+      textUnderlinePosition: "under",
+    },
+    {
+      tag: [t.url, t.escape, t.special(t.string)],
+      color: color5,
+    },
+    { tag: [t.meta], color: color2 },
+    { tag: [t.comment], color: color2, fontStyle: "italic" },
+    { tag: t.monospace, color: color5 },
+    { tag: t.strong, fontWeight: "bold", color: color4 },
+    { tag: t.emphasis, fontStyle: "italic", color: color10 },
+    { tag: t.strikethrough, textDecoration: "line-through" },
+    { tag: t.heading, fontWeight: "bold", color: color5 },
+    { tag: t.heading1, fontWeight: "bold", color: color5 },
+    {
+      tag: [t.heading2, t.heading3, t.heading4],
+      fontWeight: "bold",
+      color: color4,
+    },
+    {
+      tag: [t.heading5, t.heading6],
+      color: color4,
+    },
+    { tag: [t.atom, t.bool, t.special(t.variableName)], color: color2 },
+    {
+      tag: [t.processingInstruction, t.inserted],
+      color: color3,
+    },
+    {
+      tag: [t.contentSeparator],
+      color: color3,
+    },
+    { tag: t.invalid, color: color2, borderBottom: `1px dotted ${color3}` },
+  ]);
   return [ toposTheme, syntaxHighlighting(toposHighlightStyle),
 ]
 }