Skip to content

Fix the message for restarting the language client.#10259

Merged
bobbrow merged 1 commit intomainfrom
bobbrow/restartMessage
Dec 13, 2022
Merged

Fix the message for restarting the language client.#10259
bobbrow merged 1 commit intomainfrom
bobbrow/restartMessage

Conversation

@bobbrow
Copy link
Member

@bobbrow bobbrow commented Dec 9, 2022

The LanguageClient now supports setting the message to show when you tell it not to restart the server. It also raises a notification so we don't need to do it ourselves anymore.

@bobbrow bobbrow merged commit 8cf332b into main Dec 13, 2022
@bobbrow bobbrow deleted the bobbrow/restartMessage branch December 13, 2022 16:07
@github-actions github-actions bot locked and limited conversation to collaborators Jan 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants