Multiple changes

2018-09-12 19:04:59 +02:00
parent 6f97821cae
commit ea78b16bd9
17 changed files with 622 additions and 72 deletions
--- a/OSS/User/settings.json
+++ b/OSS/User/settings.json
@@ -0,0 +1,23 @@
+{
+    "diffEditor.ignoreTrimWhitespace": false,
+    "workbench.iconTheme": "vscode-icons",
+    "gitlens.advanced.messages": {
+        "suppressShowKeyBindingsNotice": true,
+        "suppressResultsExplorerNotice": true
+    },
+    "gitlens.keymap": "chorded",
+    "window.zoomLevel": 0,
+    "vim.handleKeys": {
+        "<C-K>": false,
+        "[q": false,
+        "]q": false
+    },
+    "editor.minimap.enabled": false,
+    "workbench.statusBar.visible": true,
+    "files.watcherExclude": {
+        "**/.git/objects/**": true,
+        "**/.git/subtree-cache/**": true,
+        "**/node_modules/**": true,
+        "**/vendor/**": true,
+    }
+}