aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-01-04 15:41:56 +0000
committerGitHub <[email protected]>2021-01-04 15:41:56 +0000
commitb3b1f43ff9c68b0fca6d7dd151efa0d771af2475 (patch)
treef6d415c9964d89989eb48420158c9537fdf986ff /editors
parent6f8af890ed9e3998b034c52157baf21db2a78227 (diff)
parent01a5b8356292e9c840b79ac94862a608196763b4 (diff)
Merge #7156
7156: Rename extension config r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
-rw-r--r--editors/code/package.json2
-rw-r--r--editors/code/src/config.ts4
2 files changed, 4 insertions, 2 deletions
diff --git a/editors/code/package.json b/editors/code/package.json
index 3e55a3523..63db87064 100644
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -280,7 +280,7 @@
280 "default": true, 280 "default": true,
281 "description": "Whether to ask for permission before downloading any files from the Internet." 281 "description": "Whether to ask for permission before downloading any files from the Internet."
282 }, 282 },
283 "rust-analyzer.serverPath": { 283 "rust-analyzer.server.path": {
284 "type": [ 284 "type": [
285 "null", 285 "null",
286 "string" 286 "string"
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index fe9f3b4a8..ebe4de1ea 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -93,7 +93,9 @@ export class Config {
93 return this.cfg.get<T>(path)!; 93 return this.cfg.get<T>(path)!;
94 } 94 }
95 95
96 get serverPath() { return this.get<null | string>("serverPath"); } 96 get serverPath() {
97 return this.get<null | string>("server.path") ?? this.get<null | string>("serverPath");
98 }
97 get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; } 99 get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; }
98 get channel() { return this.get<UpdatesChannel>("updates.channel"); } 100 get channel() { return this.get<UpdatesChannel>("updates.channel"); }
99 get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); } 101 get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); }