Remove channel and ask before download prefs

This commit is contained in:
Laurențiu Nicola
2021-12-23 08:32:58 +02:00
parent c68dbc16f8
commit 650ec14e4f
2 changed files with 0 additions and 21 deletions

View File

@@ -24,7 +24,6 @@ export class Config {
"procMacro",
"files",
"highlighting",
"updates.channel",
"lens", // works as lens.*
]
.map(opt => `${this.rootSection}.${opt}`);
@@ -103,8 +102,6 @@ export class Config {
return this.get<null | string>("server.path") ?? this.get<null | string>("serverPath");
}
get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; }
get channel() { return this.get<UpdatesChannel>("updates.channel"); }
get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); }
get traceExtension() { return this.get<boolean>("trace.extension"); }
get proxySettings(): ProxySettings {
const proxy = vscode