fix: stop hiding cached gutter markers while edits refresh

2026-10-13 22:01:32 +02:00
parent 142b00118a
commit 00628e0efd
5 changed files with 23 additions and 6 deletions
@@ -4932,9 +4932,8 @@ impl Editor {
            return None;
        }
        let changes = self.active.gutter_changes.as_ref()?;
-        if changes.revision != self.active.text_revision
-            || Some(changes.path.as_path()) != self.path()
-        {
+        // Keep the last completed markers visible while the worker recomputes after edits.
+        if Some(changes.path.as_path()) != self.path() {
            return None;
        }
        changes.lines.get(row).copied().flatten()