fix(web): discard stale highlights after file edits (#9902)

df8e0eb46bJulius Marminge committed on 9/5/2026, 4:52:21 AM· committed by GitHubparent2fb99a7
3 files changedLine totals unavailable