Unnamed repository; edit this file 'description' to name the repository.
Restart server automatically on settings changes
| -rw-r--r-- | editors/code/src/config.ts | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index dba3421978..498defa4cb 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -60,14 +60,7 @@ export class Config { if (!requiresReloadOpt) return; - const userResponse = await vscode.window.showInformationMessage( - `Changing "${requiresReloadOpt}" requires a reload`, - "Reload now" - ); - - if (userResponse === "Reload now") { - await vscode.commands.executeCommand("rust-analyzer.reload"); - } + await vscode.commands.executeCommand("rust-analyzer.reload"); } // We don't do runtime config validation here for simplicity. More on stackoverflow: |