zed/crates/fs
Nathan Sobo a6ffcdd0cf Track open buffers when handling sync requests
When a host sends a buffer to a guest for the first time, they record that
they have done so in a set tied to that guest's peer id. When the guest
reconnects and syncs buffers, they do so under a different peer id, so we
need to be sure we track which buffers we have sent them to avoid sending
them the same buffer twice, which violates the guest's assumptions.
2023-01-02 20:27:59 -07:00
..
src Track open buffers when handling sync requests 2023-01-02 20:27:59 -07:00
Cargo.toml Added theme and dock anchor saving :D 2022-10-11 19:18:29 -07:00