diff options
| author | Christian Duerr <contact@christianduerr.com> | 2020-12-20 04:27:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-20 04:27:08 +0000 |
| commit | f016a209b4ac1bfa6625b9d30e6f69bc91bc7545 (patch) | |
| tree | f3808e085b53f84203c322bdd408746a8c9dde1d /extra | |
| parent | 8a7f8c9d3eca214578439da417d37395971a711d (diff) | |
Add search history support
This adds a history to the regex search limited to at most 255 entries.
Whenever a search is either confirmed or cancelled, the last regex is
entered into the history and can be accessed when a new search is
started.
This should help users recover complicated search regexes after
accidentally discarding them, or handle repeated searches with the same
regexes.
Fixes #4095.
Diffstat (limited to 'extra')
0 files changed, 0 insertions, 0 deletions