From 49aeccf37bb4f7fc173ebe691e75e5257626ec2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sybren=20A=2E=20St=C3=BCvel?= <sybren@blender.org>
Date: Fri, 2 Jun 2023 22:55:43 +0200
Subject: [PATCH] Remove vscode settings

This prevents different user preferences fighting each other.

Other VSCode files are still there as I think they're generally useful:
- `extensions.json` for suggesting some VSCode extensions
- `launch.json` to launch Worker and Manager in the debugger
---
 .gitignore            |  1 +
 .vscode/settings.json | 22 ----------------------
 2 files changed, 1 insertion(+), 22 deletions(-)
 delete mode 100644 .vscode/settings.json

diff --git a/.gitignore b/.gitignore
index c304f8f5..f06739e3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,3 +46,4 @@ web/project-website/resources/_gen/
 
 # IDE related stuff
 *.DS_Store
+.vscode/settings.json
diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 0800dfa2..00000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,22 +0,0 @@
-{
-  "go.coverOnSave": false,
-  "go.coverOnTestPackage": true,
-  "go.coverOnSingleTest": true,
-  "go.coverageDecorator": {
-    "type": "highlight",
-    "coveredHighlightColor": "rgba(30, 64, 10, 0.06)",
-    "coveredBorderColor": "rgba(30, 64, 10, 0.06)",
-    "uncoveredHighlightColor": "rgba(146, 38, 20, 0.06)",
-    "uncoveredBorderColor": "rgba(146, 38, 20, 0.06)",
-    "coveredGutterStyle": "blockgreen",
-    "uncoveredGutterStyle": "blockred"
-  },
-  "[yaml]": {
-    "editor.autoIndent": "keep",
-    "editor.defaultFormatter": "esbenp.prettier-vscode"
-  },
-  "[vue]": {
-    "editor.defaultFormatter": "Vue.volar"
-  },
-  "editor.formatOnSave": true
-}