commit | d81fa579c34a2e198a7833740fca9b76092b2628 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Nov 13 11:49:11 2017 +0000 |
committer | nicm <nicm> | Mon Nov 13 11:49:11 2017 +0000 |
tree | 44d59a3d135ee02464d0e7e6d323d5df5634ea52 | |
parent | 384736e9550be328e0209c1f217b164d2fbc8fa1 [diff] |
When searching in copy mode, do not scroll if the result is already on screen. GitHub issue 1150.