From 2a8ea089bfa2715be4024bca3f9494b2a92e16d3 Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Sun, 5 Jun 2022 13:29:08 +0200
Subject: [PATCH] fix: Restart the server instead of reloading the window when
 config changes

---
 editors/code/src/config.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index fd9665b6145..dba3421978a 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -66,7 +66,7 @@ export class Config {
         );
 
         if (userResponse === "Reload now") {
-            await vscode.commands.executeCommand("workbench.action.reloadWindow");
+            await vscode.commands.executeCommand("rust-analyzer.reload");
         }
     }