diff options
author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-06-08 02:35:12 +0200 |
---|---|---|
committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-06-08 02:35:12 +0200 |
commit | 3167a4ad27076e0b1b49e981ad3ff487e3fac8a9 (patch) | |
tree | 58d90d395b49277aad1b9b18a91fe22ab40496be /TODO.txt | |
parent | 9b6b7aba74c43132ab0c25ab0e755515a32d1252 (diff) |
Add buttons to search bar for cycling through matches
Currently there are still some focus issue, i.e. if the button are pressed these are focused and the Ctrl+G/Ctrl+Shift+G keybindings no longer work. That will be fixed in a future commit.
Diffstat (limited to 'TODO.txt')
-rw-r--r-- | TODO.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/TODO.txt b/TODO.txt index 5663b9c..773ba9d 100644 --- a/TODO.txt +++ b/TODO.txt @@ -11,7 +11,6 @@ * Only allow completions when cursor is at end? * Add history backwards search using ctrl+r * Improve ctrl+f search support - * Maybe add graphical elements for next/previous match * Add button to allow case-insensitive search * Optionally(?) highlight all matches * Provide some heuristic support for disabling echo |