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

Add language server control tool into the status bar (#32490)

Browse source 
Release Notes:

- Added the language server control tool into the status bar

---------

Co-authored-by: Nate Butler <iamnbutler@gmail.com>
This commit is contained in:
Kirill Bulatov 2025-06-25 19:57:28 +03:00 • committed by GitHub
parent 91c9281cea
commit c0acd8e8b1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
32 changed files with 1992 additions and 312 deletions
Download patch file Download diff file Expand all files Collapse all files

43
crates/proto/proto/lsp.proto
View file

@ -534,12 +534,15 @@ message DiagnosticSummary {
message UpdateLanguageServer {
uint64 project_id = 1;
uint64 language_server_id = 2;
optional string server_name = 8;
oneof variant {
LspWorkStart work_start = 3;
LspWorkProgress work_progress = 4;
LspWorkEnd work_end = 5;
LspDiskBasedDiagnosticsUpdating disk_based_diagnostics_updating = 6;
LspDiskBasedDiagnosticsUpdated disk_based_diagnostics_updated = 7;
StatusUpdate status_update = 9;
RegisteredForBuffer registered_for_buffer = 10;
}
}
@ -566,6 +569,34 @@ message LspDiskBasedDiagnosticsUpdating {}
message LspDiskBasedDiagnosticsUpdated {}
message StatusUpdate {
optional string message = 1;
oneof status {
ServerBinaryStatus binary = 2;
ServerHealth health = 3;
}
}
enum ServerHealth {
OK = 0;
WARNING = 1;
ERROR = 2;
}
enum ServerBinaryStatus {
NONE = 0;
CHECKING_FOR_UPDATE = 1;
DOWNLOADING = 2;
STARTING = 3;
STOPPING = 4;
STOPPED = 5;
FAILED = 6;
}
message RegisteredForBuffer {
string buffer_abs_path = 1;
}
message LanguageServerLog {
uint64 project_id = 1;
uint64 language_server_id = 2;
@ -593,6 +624,7 @@ message ApplyCodeActionKindResponse {
message RegisterBufferWithLanguageServers {
uint64 project_id = 1;
uint64 buffer_id = 2;
repeated LanguageServerSelector only_servers = 3;
}
enum FormatTrigger {
@ -730,14 +762,25 @@ message MultiLspQuery {
message AllLanguageServers {}
message LanguageServerSelector {
oneof selector {
uint64 server_id = 1;
string name = 2;
}
}
message RestartLanguageServers {
uint64 project_id = 1;
repeated uint64 buffer_ids = 2;
repeated LanguageServerSelector only_servers = 3;
bool all = 4;
}
message StopLanguageServers {
uint64 project_id = 1;
repeated uint64 buffer_ids = 2;
repeated LanguageServerSelector also_servers = 3;
bool all = 4;
}
message MultiLspQueryResponse {