zed/crates/text/src
Antonio Scandurra f9e0899e58 Fix divergence bug when peer reconnects reusing a prior replica id
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.
2022-04-11 13:17:47 +02:00
..
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