Allow restarting remote language servers (#12652)

Release Notes:

- Added the ability to restart the remote language servers when
collaborating
This commit is contained in:
Conrad Irwin 2024-06-04 14:09:01 -06:00 committed by GitHub
parent 1a0708f28c
commit 1c617474fe
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 53 additions and 5 deletions

View file

@ -332,6 +332,7 @@ messages!(
(RegenerateDevServerTokenResponse, Foreground),
(RenameDevServer, Foreground),
(OpenNewBuffer, Foreground),
(RestartLanguageServers, Foreground),
);
request_messages!(
@ -441,7 +442,8 @@ request_messages!(
(DeleteDevServer, Ack),
(DeleteDevServerProject, Ack),
(RegenerateDevServerToken, RegenerateDevServerTokenResponse),
(RenameDevServer, Ack)
(RenameDevServer, Ack),
(RestartLanguageServers, Ack)
);
entity_messages!(
@ -471,6 +473,7 @@ entity_messages!(
JoinProject,
LeaveProject,
MultiLspQuery,
RestartLanguageServers,
OnTypeFormatting,
OpenNewBuffer,
OpenBufferById,