ionide / ionide-vscode-fsharp

VS Code plugin for F# development
http://ionide.io
MIT License
850 stars 276 forks source link

Add command to restart language service #1942

Closed sheridanchris closed 9 months ago

sheridanchris commented 9 months ago

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 the release/package.json, src/Core/LanguageService.fs, and src/fsharp.fs files.

πŸ€– Generated by Copilot at 8a851bf

If your F# extension is slow And you want to give it a go Use fsharp.restartLanguageService With a key or a palette, your choice And it will reload the language flow

πŸ”„πŸŒπŸ”§

This will close #1911 image

WHY

Ionide frequently has corner cases and needs refresh, I think it would improve to some extend developer experience just to have a way to completely restart ionide from vscode, when nothing else works, instead of closing and reopening vscode.

1911

HOW

πŸ€– Generated by Copilot at 8a851bf

sheridanchris commented 9 months ago

This seems to work for a multi-project solution but I'll have to test it more to make sure there aren't any oddities. I could invoke the fsharp.clearCache command but I'm not sure how useful that is, feedback is required.