mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-08 07:35:01 +03:00
624eb5907e
This is required because, after joining, we want to be able to refer to operations that have happened prior to joining, which are not captured by the state. There is probably a way of reconstructing operations from the state, but that seems unnecessary and we've already talked about wanting to have the server store operations rather than state once we start persisting worktrees. |
||
---|---|---|
.. | ||
zed.proto |