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

Omit worktree id when emitting Event::DiskBasedDiagnosticsUpdated

Browse source 
Sometimes we will have more than one worktree associated with the same
language server and in that case it's unclear which worktree id we should
report an event for.
This commit is contained in:
Antonio Scandurra 2022-01-20 10:13:27 +01:00
parent 71082d4cdc
commit 6b1f989c2b
4 changed files with 30 additions and 53 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -191,12 +191,10 @@ message DiagnosticSummary {
message DiskBasedDiagnosticsUpdating {
uint64 project_id = 1;
uint64 worktree_id = 2;
}
message DiskBasedDiagnosticsUpdated {
uint64 project_id = 1;
uint64 worktree_id = 2;
}
message GetChannels {}