Merge pull request #320 from zed-industries/more-diagnostics-polish

Keep the cursor at the top when first opening the project diagnostics view
2ea78c5adeMax Brunsfeld committed on 1/11/2022, 12:43:20 AM· committed by GitHubparentsc7eb6a6a0a5583
4 files changedLine totals unavailable