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 /docs/user | |
| 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 'docs/user')
| -rw-r--r-- | docs/user/readme.adoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/user/readme.adoc b/docs/user/readme.adoc index fb3312614..4ce05a26c 100644 --- a/docs/user/readme.adoc +++ b/docs/user/readme.adoc | |||
| @@ -43,7 +43,7 @@ image::https://user-images.githubusercontent.com/9021944/75067008-17502500-54ba- | |||
| 43 | > Note: to disable this notification put the following to `settings.json` | 43 | > Note: to disable this notification put the following to `settings.json` |
| 44 | > ```json | 44 | > ```json |
| 45 | { | 45 | { |
| 46 | "rust-analyzer.alwaysDownloadServer": true | 46 | "rust-analyzer.askBeforeDownload": false |
| 47 | } | 47 | } |
| 48 | ``` | 48 | ``` |
| 49 | 49 | ||