Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Split worktree updates when a peer joins an already-shared project

Browse source
This commit is contained in:
Antonio Scandurra 2022-06-30 16:49:56 +02:00
parent 845c79ee05
commit 484af8c7c4
6 changed files with 137 additions and 184 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/rpc/proto/zed.proto
View file

@ -168,7 +168,7 @@ message JoinProjectResponse {
message Accept {
uint32 replica_id = 1;
repeated Worktree worktrees = 2;
repeated WorktreeMetadata worktrees = 2;
repeated Collaborator collaborators = 3;
repeated LanguageServer language_servers = 4;
}
@ -766,16 +766,6 @@ message User {
string avatar_url = 3;
}
message Worktree {
uint64 id = 1;
string root_name = 2;
repeated Entry entries = 3;
repeated DiagnosticSummary diagnostic_summaries = 4;
bool visible = 5;
uint64 scan_id = 6;
bool is_complete = 7;
}
message File {
uint64 worktree_id = 1;
optional uint64 entry_id = 2;