Merge pull request #814 from zed-industries/nav-history-scroll-position

Record scroll position in nav history
08e55f77b8Max Brunsfeld committed on 4/13/2022, 10:23:53 PM· committed by GitHubparents031472db893cb6
2 files changedLine totals unavailable