diff --git a/packages/safe-ds-vscode/package.json b/packages/safe-ds-vscode/package.json index 40ac1f56a..adaa1ba45 100644 --- a/packages/safe-ds-vscode/package.json +++ b/packages/safe-ds-vscode/package.json @@ -119,7 +119,8 @@ "safe-ds.runner.command": { "type": "string", "default": "safe-ds-runner", - "description": "Command to start the Safe-DS runner" + "description": "Command to start the Safe-DS runner", + "ignoreSync": true }, "safe-ds.trace.server": { "scope": "window",