Add widgetMarker option to lint gutter

FIX: Show lint markers for code replaced by a block widget.
codemirror · Jul 25, 2024 · c13331c · c13331c
1 parent 8b2eb06
commit c13331c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/lint.ts b/src/lint.ts
@@ -800,6 +800,13 @@ function markersForDiagnostics(doc: Text, diagnostics: readonly Diagnostic[]) {
 const lintGutterExtension = gutter({
   class: "cm-gutter-lint",
   markers: view => view.state.field(lintGutterMarkers),
+  widgetMarker: (view, widget, block) => {
+    let diagnostics: Diagnostic[] = []
+    view.state.field(lintGutterMarkers).between(block.from, block.to, (from, to, value) => {
+      diagnostics.push(...(value as LintGutterMarker).diagnostics)
+    })
+    return diagnostics.length ? new LintGutterMarker(diagnostics) : null
+  }
 })
 
 const lintGutterMarkers = StateField.define<RangeSet<GutterMarker>>({