mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-24 02:46:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12
zed/crates/rpc
History
Max Brunsfeld 1e02ebbd11 Replicate pending selections separately from other selections 
This fixes a panic that would occur when a leader created
a pending selection that overlapped another selection,
because the follower would attempt to treat that pending
selection as non-pending, which would violate the invariant
that selections are sorted and disjoint.
2022-12-17 14:00:53 -08:00
..
proto Replicate pending selections separately from other selections 2022-12-17 14:00:53 -08:00
src Replicate pending selections separately from other selections 2022-12-17 14:00:53 -08:00
build.rs
Cargo.toml