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

Rip out "diagnostic providers"

Browse source
This commit is contained in:
Antonio Scandurra 2022-01-04 16:11:29 +01:00
parent 496066db59
commit 508b9dc024
16 changed files with 267 additions and 688 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -265,7 +265,7 @@ message Buffer {
string content = 2;
repeated Operation.Edit history = 3;
repeated SelectionSet selections = 4;
repeated DiagnosticSet diagnostic_sets = 5;
repeated Diagnostic diagnostics = 5;
}
message SelectionSet {
@ -292,15 +292,10 @@ enum Bias {
Right = 1;
}
message UpdateDiagnosticSet {
message UpdateDiagnostics {
uint32 replica_id = 1;
uint32 lamport_timestamp = 2;
DiagnosticSet diagnostic_set = 3;
}
message DiagnosticSet {
string provider_name = 1;
repeated Diagnostic diagnostics = 2;
repeated Diagnostic diagnostics = 3;
}
message Diagnostic {
@ -329,7 +324,7 @@ message Operation {
Undo undo = 2;
UpdateSelections update_selections = 3;
RemoveSelections remove_selections = 4;
UpdateDiagnosticSet update_diagnostic_set = 5;
UpdateDiagnostics update_diagnostics = 5;
}
message Edit {