Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r--editors/code/src/config.ts20
1 files changed, 14 insertions, 6 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index dba3421978..c9ca235ed5 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -60,13 +60,17 @@ export class Config {
if (!requiresReloadOpt) return;
- const userResponse = await vscode.window.showInformationMessage(
- `Changing "${requiresReloadOpt}" requires a reload`,
- "Reload now"
- );
-
- if (userResponse === "Reload now") {
+ if (this.restartServerOnConfigChange) {
await vscode.commands.executeCommand("rust-analyzer.reload");
+ } else {
+ const userResponse = await vscode.window.showInformationMessage(
+ `Changing "${requiresReloadOpt}" requires a reload`,
+ "Reload now"
+ );
+
+ if (userResponse === "Reload now") {
+ await vscode.commands.executeCommand("rust-analyzer.reload");
+ }
}
}
@@ -119,6 +123,10 @@ export class Config {
return this.get<RunnableEnvCfg>("runnableEnv");
}
+ get restartServerOnConfigChange() {
+ return this.get<boolean>("restartServerOnConfigChange");
+ }
+
get debug() {
let sourceFileMap = this.get<Record<string, string> | "auto">("debug.sourceFileMap");
if (sourceFileMap !== "auto") {