diff options
author | Michael Davis | 2022-08-31 01:45:47 +0000 |
---|---|---|
committer | GitHub | 2022-08-31 01:45:47 +0000 |
commit | 701cea54d280786d5762396c5d2655cba5b508b4 (patch) | |
tree | 57225db87c75f8d4d6d6c8cf3d1747c4af4a6c95 /.github/ISSUE_TEMPLATE | |
parent | 404db2ebee477a9bfdb76e89ebf48adac9c1a57c (diff) |
jumplist: Add documents to view history (#3593)
This change adds documents to the view's document history Vec.
(This is used by `ga` for example to access the last buffer.)
Previously, a sequence like so would have confusing behavior:
1. Open file A: any document with an active language server
2. Find some definition that lives in another file - file B - with `gd`
3. Jump back in the jumplist with `C-o` to file A
4. Use `ga` intending to switch back to file B
The behavior prior to this change was that `ga` would switch to file
A: you could not use `ga` to switch to file B.
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions