| commit | f56f09ea3871d3099dd31030501b982a4243a372 | [log] [download] |
|---|---|---|
| author | nicm <nicm> | Fri Sep 08 16:28:41 2017 +0000 |
| committer | nicm <nicm> | Fri Sep 08 16:28:41 2017 +0000 |
| tree | ff5fef72e48e88bacf9d76148e3d678a835f580b | |
| parent | 78cf3c14ca44bbbebd3fcb374c0397c72caf6c78 [diff] |
Fix a few errors in how the selected line is chosen after resize, reported by Felix Rosencrantz in GitHub issue 1059.