mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-27 19:02:07 +00:00
Populate deferred operations when an operation can't be applied
This commit is contained in:
parent
bf044506ed
commit
587a908225
1 changed files with 1 additions and 0 deletions
|
@ -1342,6 +1342,7 @@ impl Buffer {
|
|||
})
|
||||
.collect::<Vec<_>>();
|
||||
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
|
||||
|
|
Loading…
Reference in a new issue