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

WIP

Browse source 
Co-Authored-By: Antonio Scandurra <me@as-cii.com>
Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
This commit is contained in:
Nathan Sobo 2021-12-23 11:24:35 -07:00
parent 7b453beebc
commit e3ecd87081
6 changed files with 156 additions and 58 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 Diagnostic diagnostics = 5;
repeated DiagnosticSet diagnostic_sets = 5;
}
message SelectionSet {
@ -292,10 +292,15 @@ enum Bias {
Right = 1;
}
message UpdateDiagnostics {
message UpdateDiagnosticSet {
uint32 replica_id = 1;
uint32 lamport_timestamp = 2;
repeated Diagnostic diagnostics = 3;
DiagnosticSet diagnostic_set = 3;
}
message DiagnosticSet {
string provider_name = 1;
repeated Diagnostic diagnostics = 2;
}
message Diagnostic {
@ -324,7 +329,7 @@ message Operation {
Undo undo = 2;
UpdateSelections update_selections = 3;
RemoveSelections remove_selections = 4;
UpdateDiagnostics update_diagnostics = 5;
UpdateDiagnosticSet update_diagnostic_set = 5;
}
message Edit {