mirror of
https://github.com/zed-industries/zed.git
synced 2024-10-25 07:55:56 +00:00
f9e0899e58
We forgot to observe the footprint of the reconnecting replica's prior undos into the local clock. This could cause the replica to generate edits with a version strictly smaller than what other peers may have observed. As such, those peers would think they had already seen those edits and skip them. |
||
---|---|---|
.. | ||
anchor.rs | ||
locator.rs | ||
network.rs | ||
operation_queue.rs | ||
patch.rs | ||
point.rs | ||
point_utf16.rs | ||
random_char_iter.rs | ||
rope.rs | ||
selection.rs | ||
subscription.rs | ||
tests.rs | ||
text.rs |