Configuration plumbing for cargo watcher

1 files changed, 3 insertions, 0 deletions

diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index 5ace1d0fa..409d3b4b7 100644
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -55,6 +55,9 @@ export class Server {
                 publishDecorations: true,
                 lruCapacity: Server.config.lruCapacity,
                 maxInlayHintLength: Server.config.maxInlayHintLength,
+                cargoCheckEnable: Server.config.cargoCheckOptions.enabled,
+                cargoCheckCommand: Server.config.cargoCheckOptions.command,
+                cargoCheckArgs: Server.config.cargoCheckOptions.arguments,
                 excludeGlobs: Server.config.excludeGlobs,
                 useClientWatching: Server.config.useClientWatching,
                 featureFlags: Server.config.featureFlags,