mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-27 10:48:28 +01:00
9d41c706c6
Currently if the server crashes too many times, the user has to restart VS Code. It's possible the user could fix something (such as a bad plugin) and then run this command to just restart the server without needing to restart the entire editor