diff options
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}`); |