Reparse buffer on undo, redo and after applying a remote operation

This commit is contained in:
Antonio Scandurra
2021-05-21 10:15:45 +02:00
parent fe8dc9fba0
commit 9836f1f638

View File

@@ -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);
}
}