Listen to all LSP progress notifications and broadcast them to peers

This commit is contained in:
Antonio Scandurra 2022-03-10 12:00:33 +01:00
parent 3394cf4941
commit 4bbf5ed0b9
4 changed files with 207 additions and 136 deletions

View file

@ -37,8 +37,7 @@ message Envelope {
UnregisterWorktree unregister_worktree = 29;
UpdateWorktree update_worktree = 31;
UpdateDiagnosticSummary update_diagnostic_summary = 32;
DiskBasedDiagnosticsUpdating disk_based_diagnostics_updating = 33;
DiskBasedDiagnosticsUpdated disk_based_diagnostics_updated = 34;
LspEvent lsp_event = 33;
OpenBuffer open_buffer = 35;
OpenBufferResponse open_buffer_response = 36;
@ -424,14 +423,35 @@ message DiagnosticSummary {
uint32 hint_count = 5;
}
message DiskBasedDiagnosticsUpdating {
message LspEvent {
uint64 project_id = 1;
oneof variant {
LspWorkStart work_start = 2;
LspWorkProgress work_progress = 3;
LspWorkEnd work_end = 4;
LspDiskBasedDiagnosticsUpdating disk_based_diagnostics_updating = 5;
LspDiskBasedDiagnosticsUpdated disk_based_diagnostics_updated = 6;
}
}
message DiskBasedDiagnosticsUpdated {
uint64 project_id = 1;
message LspWorkStart {
string token = 1;
}
message LspWorkProgress {
string token = 1;
optional string message = 2;
optional uint32 percentage = 3;
}
message LspWorkEnd {
string token = 1;
}
message LspDiskBasedDiagnosticsUpdating {}
message LspDiskBasedDiagnosticsUpdated {}
message GetChannels {}
message GetChannelsResponse {