diff options
| author | Kirill Bulatov <[email protected]> | 2020-03-19 21:56:32 +0000 |
|---|---|---|
| committer | Kirill Bulatov <[email protected]> | 2020-03-30 11:39:14 +0100 |
| commit | 019f269a0a4f42854c84e749fd5bb24177eafff9 (patch) | |
| tree | 543848de3ca2e02cfa244ca177ebe453b34209f0 /editors | |
| parent | 8c4aab0c803e3962ffc2c42538df1d29dd3a8ef0 (diff) | |
Process configuration response draft
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/config.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index e77462c1b..501997fef 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
| @@ -12,9 +12,9 @@ export class Config { | |||
| 12 | private readonly requiresReloadOpts = [ | 12 | private readonly requiresReloadOpts = [ |
| 13 | "serverPath", | 13 | "serverPath", |
| 14 | "cargoFeatures", | 14 | "cargoFeatures", |
| 15 | "cargo-watch", | 15 | "excludeGlobs", |
| 16 | "highlighting.semanticTokens", | 16 | "useClientWatching", |
| 17 | "inlayHints", | 17 | "highlighting", |
| 18 | "updates.channel", | 18 | "updates.channel", |
| 19 | ] | 19 | ] |
| 20 | .map(opt => `${this.rootSection}.${opt}`); | 20 | .map(opt => `${this.rootSection}.${opt}`); |