fix: don't sync safe-ds.runner.command setting

Safe-DS · Apr 13, 2024 · bb57481 · bb57481
1 parent 610d45b
commit bb57481
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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",