There are some scenarios where our editor history navigation is not ideal.

Example: Goto definition

1. go to definition to jump somewhere else and produce a history entry
2. from the place where you end up, click around a little bit (not more than 5 lines away)
3. jump back
4. jump forward

=> you end up at the original place (the definition) instead of the last location you were before going back

Example: Exploring code

1. click into a line
2. click 3 lines below
3. click 3 lines below
4. jump back

=> you end up not in the original line from 1. but in the one from 2.

Both issues can be solved by smartly merging a history entry with the current position if it does not qualify for a new location.

/cc @egamma