Optimize search keyboard handling #16

Closed
opened 2018-10-26 11:20:55 +02:00 by aaron · 4 comments
aaron commented 2018-10-26 11:20:55 +02:00 (Migrated from git.datenhalter.de)
Owner
  • F3 should jump to the next match
  • remove "arrow" handling, which is not common sense
  • DONE ESC should cancel the search and remove highlights
  • DONE Improve search prompt
  • Start search after ENTER
  • DONE Only scroll the screen if the result is not on screen
* F3 should jump to the next match * remove "arrow" handling, which is not common sense * DONE ESC should cancel the search and remove highlights * DONE Improve search prompt * Start search after ENTER * DONE Only scroll the screen if the result is not on screen
aaron commented 2019-01-22 11:51:46 +01:00 (Migrated from git.datenhalter.de)
Author
Owner
<a href="/aaron/fuNote/commit/81eec037733a282f5f78b58ca1942fc234fec5bb">Remove syntax highlighting after exit the search #16</a>
aaron commented 2019-01-22 11:53:59 +01:00 (Migrated from git.datenhalter.de)
Author
Owner
<a href="/aaron/fuNote/commit/ae7d2b7a71a21d5395a8a61968d03c0f847ea903">Improve the search prompt a little #16</a>
aaron commented 2019-01-22 12:03:04 +01:00 (Migrated from git.datenhalter.de)
Author
Owner
<a href="/aaron/fuNote/commit/02c58fa2bdac6d3ab02838d6a6e0c7217eb8aa11">Only move the sursor if needed on search #16</a>
aaron commented 2019-01-22 12:04:32 +01:00 (Migrated from git.datenhalter.de)
Author
Owner

I think the search is usable now, so I can close this ticket.

I think the search is usable now, so I can close this ticket.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: f/fuNote#16
No description provided.