From 587a9082259e1b7a052e33208d21eca8baf5501b Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Wed, 5 Jan 2022 15:04:19 +0100 Subject: [PATCH] Populate deferred operations when an operation can't be applied --- crates/language/src/buffer.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/language/src/buffer.rs b/crates/language/src/buffer.rs index 624567397c393614862153d9a63a0a0c33c73583..a993feacf5b0af152a492aa7ce66dfdf0dfb7946 100644 --- a/crates/language/src/buffer.rs +++ b/crates/language/src/buffer.rs @@ -1342,6 +1342,7 @@ impl Buffer { }) .collect::>(); self.text.apply_ops(buffer_ops)?; + self.deferred_ops.insert(deferred_ops); self.flush_deferred_ops(cx); self.did_edit(&old_version, was_dirty, cx); // Notify independently of whether the buffer was edited as the operations could include a