vscode-ext: autostart server by default

this should have been enabled from the start
moves-rwth · Aug 5, 2024 · 3a24726 · 3a24726
1 parent e74328c
commit 3a24726
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vscode-ext/package.json b/vscode-ext/package.json
@@ -169,7 +169,7 @@
  },
  "caesar.server.autoStartServer": {
  "type": "boolean",
- "default": false,
+ "default": true,
  "description": "Specifies whether to automatically start the server when the extension is activated.",
  "order": 8
  },