Add preferences to auto-detect git repos in parent dirs.

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
eclipse-theia · May 7, 2024 · 3300830 · 3300830
1 parent c97ea0d
commit 3300830
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 7 deletions.
diff --git a/.gitignore b/.gitignore
@@ -15,8 +15,6 @@ errorShots
 examples/*/src-gen
 examples/*/gen-webpack.config.js
 examples/*/gen-webpack.node.config.js
-examples/*/.theia
-examples/*/.vscode
 examples/*/.test
 .browser_modules
 **/docs/api

diff --git a/.theia/settings.json b/.theia/settings.json
@@ -1,5 +1,5 @@
 {
-  "editor.formatOnSave": true,
+  "editor.formatOnSave": false,
   "editor.insertSpaces": true,
   "[typescript]": {
     "editor.tabSize": 4

diff --git a/examples/api-tests/test-ts-workspace/.theia/settings.json b/examples/api-tests/test-ts-workspace/.theia/settings.json
diff --git a/examples/browser/.theia/settings.json b/examples/browser/.theia/settings.json
@@ -0,0 +1,7 @@
+{
+    "files.autoSave": "afterDelay",
+    "workbench.editor.closeOnFileDelete": true,
+    "git.autoRepositoryDetection": true,
+    "git.openRepositoryInParentFolders": "always"
+}
+
diff --git a/examples/browser/.theia/tasks.json b/examples/browser/.theia/tasks.json
@@ -0,0 +1,3 @@
+{
+    "tasks": []
+}