Add command to restart language service #1942
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
WHAT
🤖 Generated by Copilot at 8a851bf
This pull request adds a new feature to the extension that allows users to restart the F# language service from the command palette or a keyboard shortcut. It defines a new command
fsharp.restartLanguageService
and registers it in therelease/package.json
,src/Core/LanguageService.fs
, andsrc/fsharp.fs
files.🤖 Generated by Copilot at 8a851bf
🔄🌐🔧
This will close #1911
WHY
#1911
HOW
🤖 Generated by Copilot at 8a851bf
package.json
with the title "Restart Language Service" and the category "F#" (link)package.json
(link)LanguageService.fs
by defining a "restart" function that stops and starts the language service using a promise (link)LanguageService.fs
(link)LanguageService.activate
infsharp.fs
(link)