diff options
Diffstat (limited to 'editors/code/src/server.ts')
-rw-r--r-- | editors/code/src/server.ts | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 409d3b4b7..ae81af848 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -55,9 +55,11 @@ export class Server { | |||
55 | publishDecorations: true, | 55 | publishDecorations: true, |
56 | lruCapacity: Server.config.lruCapacity, | 56 | lruCapacity: Server.config.lruCapacity, |
57 | maxInlayHintLength: Server.config.maxInlayHintLength, | 57 | maxInlayHintLength: Server.config.maxInlayHintLength, |
58 | cargoCheckEnable: Server.config.cargoCheckOptions.enabled, | 58 | cargoWatchEnable: Server.config.cargoWatchOptions.enable, |
59 | cargoCheckCommand: Server.config.cargoCheckOptions.command, | 59 | cargoWatchArgumets: Server.config.cargoWatchOptions.arguments, |
60 | cargoCheckArgs: Server.config.cargoCheckOptions.arguments, | 60 | cargoWatchCommand: Server.config.cargoWatchOptions.command, |
61 | cargoWatchAllTargets: | ||
62 | Server.config.cargoWatchOptions.allTargets, | ||
61 | excludeGlobs: Server.config.excludeGlobs, | 63 | excludeGlobs: Server.config.excludeGlobs, |
62 | useClientWatching: Server.config.useClientWatching, | 64 | useClientWatching: Server.config.useClientWatching, |
63 | featureFlags: Server.config.featureFlags, | 65 | featureFlags: Server.config.featureFlags, |