commit | 10975961de95ef3ef7066d6d6cc97ba207b88e6f | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Apr 02 17:03:10 2020 +0000 |
committer | Nicholas Marriott <nicholas.marriott@gmail.com> | Mon Apr 06 16:06:14 2020 +0100 |
tree | e0773741dad90090e9d37ff7a338dbaeb30dacb0 | |
parent | 8d2af4fb547edf55ffb34c8cf1c6ab0d179fd074 [diff] |
Only search the visible part of the history when marking (highlighting) search terms, much faster than searching the whole history.