From 9836f1f63829d11929ccd2dafc2bc06bafb71aad Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Fri, 21 May 2021 10:15:45 +0200 Subject: [PATCH] Reparse buffer on undo, redo and after applying a remote operation --- zed/src/editor/buffer/mod.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/zed/src/editor/buffer/mod.rs b/zed/src/editor/buffer/mod.rs index ed3917f404a1c126311cd6d7d9f79f4cda4d2541..233ec2832d02480a91b580b403f437a9ea5db4bc 100644 --- a/zed/src/editor/buffer/mod.rs +++ b/zed/src/editor/buffer/mod.rs @@ -1025,6 +1025,7 @@ impl Buffer { ctx.notify(); if self.edits_since(old_version).next().is_some() { self.did_edit(was_dirty, ctx); + self.reparse(ctx); } } @@ -1250,6 +1251,7 @@ impl Buffer { ctx.notify(); if self.edits_since(old_version).next().is_some() { self.did_edit(was_dirty, ctx); + self.reparse(ctx); } } @@ -1276,6 +1278,7 @@ impl Buffer { ctx.notify(); if self.edits_since(old_version).next().is_some() { self.did_edit(was_dirty, ctx); + self.reparse(ctx); } }