commit | d53d3bce59daa26720682dfcb6bcad182851c9a0 | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue May 07 19:46:17 2019 +0000 |
committer | nicm <nicm> | Tue May 07 19:46:17 2019 +0000 |
tree | 57c9356ae04b8dbf679f6ede10e58936da7a1e20 | |
parent | fcd0e3082b3cf71a60d8cbc61a9767b4500ae654 [diff] |
Adjust the same bit to adjust the selection for history-top and history-bottom as for cursor-up and cursor-down. GitHub issue 1723.