remote dev: Allow canceling language server work in editor (#19946)

Release Notes:

- Added ability to cancel language server work in remote development.

Demo:



https://github.com/user-attachments/assets/c9ca91a5-617f-4886-a458-87c563c5a247
This commit is contained in:
Thorsten Ball 2024-10-30 13:27:11 +01:00 committed by GitHub
parent 774a8bf039
commit f6cd97f6fd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 325 additions and 66 deletions

View file

@ -366,6 +366,7 @@ messages!(
(GetPathMetadataResponse, Background),
(GetPanicFiles, Background),
(GetPanicFilesResponse, Background),
(CancelLanguageServerWork, Foreground),
);
request_messages!(
@ -486,7 +487,8 @@ request_messages!(
(ActivateToolchain, Ack),
(ActiveToolchain, ActiveToolchainResponse),
(GetPathMetadata, GetPathMetadataResponse),
(GetPanicFiles, GetPanicFilesResponse)
(GetPanicFiles, GetPanicFilesResponse),
(CancelLanguageServerWork, Ack),
);
entity_messages!(
@ -570,6 +572,7 @@ entity_messages!(
ActivateToolchain,
ActiveToolchain,
GetPathMetadata,
CancelLanguageServerWork,
);
entity_messages!(