commit | 2627ab322e0e8dffbf86b1c2eb969139a8062174 | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Sep 02 20:57:20 2016 +0000 |
committer | nicm <nicm> | Fri Sep 02 20:57:20 2016 +0000 |
tree | 15cc4f5210c0145ef14433470ba0c96c0860c6ea | |
parent | 537964b92dcd2b4a30fdf37a370f9a204fff561c [diff] |
Remember the number of lines scrolled into the history (versus cleared into the history) and when resizing only use scrolled lines and not cleared lines (which are probably not intended to reappear). From Chaoren Lin.