diff options
author | Veetaha <[email protected]> | 2020-03-08 16:58:02 +0000 |
---|---|---|
committer | Veetaha <[email protected]> | 2020-03-08 16:58:02 +0000 |
commit | 6bd1ff16e5e517c89a154b9b26847d20656e1184 (patch) | |
tree | 68958b95faf5dad2bf3fd0f7457903a2cdeeed61 /editors/code/.gitignore | |
parent | 49b4e88458561986009f3cb9dee8879a0649049e (diff) |
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)
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions