code: update config

contrun · Jan 10, 2024 · c67918a · c67918a
1 parent 3107217
commit c67918a
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/dot_config/Code/User/settings.json.source b/dot_config/Code/User/settings.json.source
@@ -84,5 +84,12 @@
     ],
     "agdaMode.connection.agdaLanguageServer": true,
     "window.zoomLevel": 2,
-    "workbench.activityBar.location": "hidden"
+    "workbench.activityBar.location": "hidden",
+    "dart.checkForSdkUpdates": false,
+    "search.useGlobalIgnoreFiles": true,
+    "search.useParentIgnoreFiles": true,
+    "cmake.showOptionsMovedNotification": false,
+    "[graphql]": {
+      "editor.defaultFormatter": "esbenp.prettier-vscode"
+    }
 }