Merge remote branch 'origin/master' into edge

reznikmm · Nov 18, 2024 · b62bdfc · b62bdfc
2 parents ede4fe3 + e3bde94
commit b62bdfc
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.vscode/settings.json.tmpl b/.vscode/settings.json.tmpl
@@ -11,11 +11,12 @@
       // extension.
       "LIBRARY_TYPE": "static"
    },
-   "ada.onTypeFormatting.indentOnly": true,
+   "ada.onTypeFormatting.indentOnly": false,
    "[ada]": {
       "editor.autoIndent": "none",
-      "editor.formatOnType": false,
-      "editor.tabSize": 3
+      "editor.formatOnType": true,
+      "editor.tabSize": 3,
+      "editor.detectIndentation": false
    },
    "python.analysis.extraPaths": ["testsuite"],
    "flake8.args": ["--max-line-length", "88"],