From 49e68f7cbe0440501fa666c600639fe281109d90 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.berlin>
Date: Fri, 27 Sep 2024 18:07:40 +0200
Subject: [PATCH] Make the dark theme cursor color a lot lighter

FIX: Fix the default cursor color for dark themes, which was way too dark.

See https://discuss.codemirror.net/t/cursor-stays-after-placeholder-gives-impression-like-placeholder-is-the-text/8490
---
 src/theme.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme.ts b/src/theme.ts
index d1eb6e6..1463914 100644
--- a/src/theme.ts
+++ b/src/theme.ts
@@ -131,7 +131,7 @@ export const baseTheme = buildTheme("." + baseThemeID, {
     display: "none"
   },
   "&dark .cm-cursor": {
-    borderLeftColor: "#444"
+    borderLeftColor: "#ddd"
   },
   ".cm-dropCursor": {
     position: "absolute"