style other cursors (how to add name to own cursor!?!?)

pastagang · Jan 1, 2025 · 7592df6 · 7592df6
1 parent f8b21cc
commit 7592df6
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/theme.js b/src/theme.js
@@ -48,6 +48,16 @@ let theme = EditorView.theme(
       "text-underline-offset": "0.24rem",
       "text-decoration-color": colors.fuchsia300,
     },
+    ".cm-ySelectionInfo": {
+      opacity: "1",
+      fontFamily: 'monospace',
+      color: "black",
+      padding: "3px 4px",
+      fontSize: "0.8rem",
+      //"font-weight": "bold",
+      top: "1.25em",
+      "z-index": "1000",
+    },
   },
   { dark: true }
 );