Move VSCode settings out of .devcontainer/devcontainer.json to .vscode/settings.json.

[IDE]

Author: lemmy

.devcontainer/devcontainer.json

@@ -8,15 +8,5 @@
       "vscjava.vscode-java-pack"
     ],
 
-    // - Do not automatically update extensions (E.g. better-code ext is patched for TLA+)
-    // - Use Java GC that works best with TLC.
-    // - https://github.com/alygin/vscode-tlaplus/wiki/Automatic-Module-Parsing
-    "settings": {
-      "tlaplus.tlc.statisticsSharing": "share",
-      "tlaplus.java.options": "-XX:+UseParallelGC",
-      "tlaplus.java.home": "/home/codespace/.java/current/",
-      "[tlaplus]": {"editor.codeActionsOnSave": {"source": true} }
-      },
-  
     "postCreateCommand": "bash -i .devcontainer/install.sh",
   }

.vscode/settings.json

@@ -0,0 +1,14 @@
+{
+    "tlaplus.tlc.modelChecker.options": "-deadlock -noTE",
+    "tlaplus.java.options": "-XX:+UseParallelGC",
+    "tlaplus.java.home": "/home/codespace/.java/current/",
+    "[tlaplus]": {"editor.codeActionsOnSave": {"source": true} },
+    "breadcrumbs.enabled": false,
+    "editor.minimap.enabled": false,
+    "editor.useTabStops": false,
+    "files.exclude": {
+        "tools": true,
+        "*/states/": true,
+        "_apalache-out/": true
+    }
+}