Tree
- Tree:
536e4694469f7b9e1756b4b0fb7df8fbb8fde8cf
- Date:
- Message:
- correctly save scrolling position Before we didn't save the scrolling position before a refresh (nohist=1) and that's annoying. This saves the scrolling position only in the correct case, which is when changing from a page to another, expect when switching to TAB_LAZY off.