Wrap setCursorHighlights in setTimeout (#12951)

GitOrigin-RevId: 204bf073bc2f4a014d9498c6a802fe38e52b22c5
2026-11-14 06:03:45 +01:00 · 2023-05-08 08:04:00 +00:00
parent f1d07437cb
commit a7518c1bb4
1 changed files with 3 additions and 1 deletions
@@ -436,7 +436,9 @@ function useCodeMirrorScope(view: EditorView) {
    if (cursorHighlights && currentDoc) {
      const items = cursorHighlights[currentDoc.doc_id]
      highlightsRef.current.cursorHighlights = items
-      view.dispatch(setCursorHighlights(items))
+      window.setTimeout(() => {
+        view.dispatch(setCursorHighlights(items))
+      })
    }
  }, [view, cursorHighlights, currentDoc])