mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-24 19:10:24 +00:00
f55a3629b0
This PR updates the scrollbar diagnostic setting to provide fine-grained control over which indicators to show, based on severity level. This allows the user to hide lower-severity diagnostics that can otherwise clutter the scrollbar (for example, unused or disabled code). The options are set such that the existing boolean setting has the same effect: when `true` all diagnostics are shown, and when `false` no diagnostics are shown. Closes #22296. Release Notes: - Added fine-grained control of scrollbar diagnostic indicators. |
||
---|---|---|
.. | ||
default.json | ||
initial_local_settings.json | ||
initial_server_settings.json | ||
initial_tasks.json | ||
initial_user_settings.json |