From a2e7f216277bd8cb722b9662ed1d2d44f927de0d Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Mon, 20 Jul 2020 16:20:16 +0530
Subject: [PATCH] editor settings

---
 .vscode/settings.json | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 7f8edcba2..36724f883 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -35,5 +35,11 @@
         "**/*.js.map": true
     },
     "editor.wrappingIndent": "same",
-    "editor.tabSize": 2
+    "editor.tabSize": 2,
+    "search.exclude": {
+        "dist": true,
+        "prebuilt": true,
+        "src/i18n/*.po": true
+    },
+    "search.collapseResults": "auto"
 }
\ No newline at end of file