From 986e2df3383c97e2e59efb22cb0ca2d00bd5eb06 Mon Sep 17 00:00:00 2001 From: Fred Sauer Date: Sat, 14 Feb 2026 20:33:57 -0800 Subject: [PATCH] src/themes/editorTheme.ts --- src/themes/editorTheme.ts | 40 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 src/themes/editorTheme.ts diff --git a/src/themes/editorTheme.ts b/src/themes/editorTheme.ts new file mode 100644 index 00000000..d66ba368 --- /dev/null +++ b/src/themes/editorTheme.ts @@ -0,0 +1,40 @@ +import { EditorView } from "@codemirror/view"; + +export const editorTheme = EditorView.theme({ + "&": { + height: "100%", + }, + ".cm-currentpc": { + backgroundColor: "#7e2a70 !important", + }, + ".currentpc-marker": { + color: "#ff66ee", + }, + ".currentpc-span-blocked": { + backgroundColor: "#7e2a70 !important", + }, + ".currentpc-marker-blocked": { + color: "#ffee33", + }, + ".highlight-lines": { + backgroundColor: "#003399 !important", + }, + ".gutter-offset": { + marginRight: "0.25em", + }, + ".gutter-bytes": { + marginLeft: "0.25em", + marginRight: "0.25em", + opacity: 0.7, + }, + ".gutter-currentpc": { + color: "#ff66ee", + }, + ".gutter-clock": { + marginLeft: "0.25em", + marginRight: "0.25em", + }, + "& .cm-lineNumbers .cm-gutterElement": { + color: "#99cc99", + }, +}); \ No newline at end of file