Introduce the ability to include or exclude warnings from project diagnostics (#3056)

![CleanShot 2023-09-27 at 18 09 37](https://github.com/zed-industries/zed/assets/482957/317d31e4-81f8-44d8-b94f-8ca7150d3fd2) Release Notes: - Added the ability to exclude warnings from project diagnostics. By default, they will be on but they can be disabled temporarily by clicking on the warnings icon. The default behavior can be changed by changing the new `diagnostics.include_warnings` setting.
2023-09-29 13:13:04 +01:00
parent 247c7eff14 0e6002dca2
commit 4dd9c9e2b9
7 changed files with 186 additions and 3 deletions
@@ -227,6 +227,11 @@
  },
  // Automatically update Zed
  "auto_update": true,
+  // Diagnostics configuration.
+  "diagnostics": {
+    // Whether to show warnings or not by default.
+    "include_warnings": true
+  },
  // Git gutter behavior configuration.
  "git": {
    // Control whether the git gutter is shown. May take 2 values: