Colors are slightly better in the editor

2023-12-16 02:00:37 +01:00
parent 46d4562012
commit 932c8cb6ca
3 changed files with 8 additions and 7 deletions
--- a/src/EditorSetup.ts
+++ b/src/EditorSetup.ts
@ -110,11 +110,11 @@ export const getCodeMirrorTheme = (theme: {[key: string]: string}): Extension =>
      ".cm-gutters": {
        //backgroundColor: base00,
        backgroundColor: "transparent",
-        color: selection_background,
+        color: foreground,
      },
      ".cm-activeLineGutter": {
-        backgroundColor: foreground,
-        color: white,
+        backgroundColor: selection_background,
+        color: selection_foreground,
      },

      ".cm-foldPlaceholder": {