dismiss highlighted lines on user interaction

fredsa · fredsa · commit 1590a8417faf · 2026-03-08T22:18:42.000-07:00
diff --git a/src/ide/views/visuals.ts b/src/ide/views/visuals.ts
@@ -228,6 +228,10 @@ const highlightLinesField = StateField.define({
         return Decoration.set(decorationRanges);
       }
     }
+    // dismiss highlights on user interaction
+    if (decorations !== Decoration.none && (tr.docChanged || tr.selection)) {
+      return Decoration.none;
+    }
     return decorations;
   },
   provide: f => EditorView.decorations.from(f),

Original file line number	Diff line number	Diff line change
`@@ -228,6 +228,10 @@ const highlightLinesField = StateField.define({`
`228`	`228`	`return Decoration.set(decorationRanges);`
`229`	`229`	`}`
`230`	`230`	`}`
	`231`	`+ // dismiss highlights on user interaction`
	`232`	`+ if (decorations !== Decoration.none && (tr.docChanged \|\| tr.selection)) {`
	`233`	`+ return Decoration.none;`
	`234`	`+ }`
`231`	`235`	`return decorations;`
`232`	`236`	`},`
`233`	`237`	`provide: f => EditorView.decorations.from(f),`