Menu

#1574 BrowseTracker: When jumping back after scrolling away from a jump position, return to that exact position instead of the one before it.

Undefined
open
nobody
Patch
11 hours ago
11 hours ago
Christo
No

For example, after jumping to a definition and scrolling through the file, on pressing jump back, we expect it to jump back to the definition rather than the jump position before that.

1 Attachments

Discussion


Log in to post a comment.