diff options
| author | A-Walrus | 2022-06-21 02:39:43 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-21 02:39:43 +0000 |
| commit | 43027d91046f79d6dc495b351cdcbfd3819cd9e1 (patch) | |
| tree | 796e8bde77116c8eb5a6c9487e6fc252c12daa5a /docs | |
| parent | 009f8c4d3bdf56c9c5b0ba9489864d4d242a6e01 (diff) | |
Display highest severity diagnostic in gutter (#2835)
* Display highest severity diagnostic in gutter
* Improve gutter diagnostic performance
Very slight improvement (doesn't really make a difference), iterates over the diagnostics of the line
once instead of twice.
* Add comment justifying unwrap
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions