F8 navigation bugs (#3163)

Release Notes:

- Fixed "go to previous hunk" getting suck on deletion.
- Fixed a rare case where "go to (prev) diagnostic" could get stuck with
specifically overlapping diagnostics.
1936ba5e30Julia committed on 10/25/2023, 5:03:45 PM· committed by GitHubparents3460e95bfdff4e
5 files changedLine totals unavailable