vscode: rename alwaysDownloadServer -> askBeforeDownload
The new name seems much simpler and it doesn't limit this config value only to downloading the server binary. Thus we wouldn't need to create another config properties to handle other downloads whatsoever. Anyway, I believe (heuristically) that most of the users would want to set "askBeforeDownload": false once and never bother clicking on the notification again (because otherwise there is no big point in installing rust-analyzer if it cannot install the server)
This commit is contained in:
@@ -134,7 +134,7 @@ export class Config {
|
||||
file: prebuiltBinaryName,
|
||||
storage: this.ctx.globalState,
|
||||
tag: Config.extensionVersion,
|
||||
askBeforeDownload: !(this.cfg.get("alwaysDownloadServer") as boolean),
|
||||
askBeforeDownload: !(this.cfg.get("askBeforeDownload") as boolean),
|
||||
repo: {
|
||||
name: "rust-analyzer",
|
||||
owner: "rust-analyzer",
|
||||
|
||||
Reference in New Issue
Block a user