When VS Code is opened, check for new versions in the background: * [x] ~Check only once a day/week~ * [ ] ~Frequency is user configurable (yes/no)~ * [x] ~Frequency is Developer configurable (yes/no) (i.e. setting not defined in package.json)~ * [ ] ~Add command to check for latest version~ * ~This would be visible to everyone~ * Perform check in the background if we already have a language server (previously downloaded) * Benefit - User can continue using extension, while network operations are in progress (network comms, download, extract, etc). * [ ] If a new version is available, then download it and extract it. * Finally notify the user about the new version, prompting them to restart. * Options in the message – [Restart VS Code] [Do not show this again] * This applies to the developer build of the extension * [x] If using release version of extension, pin the extension to a specific version of language server (`x.y.z`). * I.e. if we want to release a new version of the language server, we create a new release of the extensino * [ ] If using dev version of extension, then pin the extension to the first two parts of the language server version. @Microsoft/pvsc-team /cc
When VS Code is opened, check for new versions in the background:
Check only once a day/weekFrequency is user configurable (yes/no)Frequency is Developer configurable (yes/no) (i.e. setting not defined in package.json)Add command to check for latest versionThis would be visible to everyonex.y.z).@Microsoft/pvsc-team /cc