diff options
| author | Krut Patel <kroot.patel@gmail.com> | 2023-03-22 21:46:59 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 16:16:59 +0000 |
| commit | 378be6b790c3d504c8d7d873ce035daf926e98ed (patch) | |
| tree | 7e7dd194b2fc033faf251582795dff3fb2363d07 /docs/src/pages | |
| parent | Fix skim search (#795) (diff) | |
| download | atuin-378be6b790c3d504c8d7d873ce035daf926e98ed.zip | |
Allow changing search_mode during interactive search (#586)
* Make search_mode a part of SearchState
* Allow changing search mode using ctrl+s
* Tweak state reset for switched_search_mode
* Improve search_mode display in interactive mode
* Incorporate review suggestion
* Tweak language
* Fix Clippy and format
Diffstat (limited to 'docs/src/pages')
0 files changed, 0 insertions, 0 deletions