Merge pull request #395 from zed-industries/fix-show-next-diagnostic

Move cursor to diagnostic even if the only diagnostic is currently shown
ad13bcdbdaAntonio Scandurra committed on 2/4/2022, 10:46:14 AM· committed by GitHubparents40f9d2f8d17287
1 file changedLine totals unavailable