billthefarmer / editor

Android simple text editor
https://billthefarmer.github.io/editor
GNU General Public License v3.0
474 stars 85 forks source link

enhancement idea: reverse search #233

Closed clach04 closed 4 months ago

clach04 commented 5 months ago

Incremental forward search works great. It would be a useful feature to be able to search backwards.

It looks like repeating a search will loop around which is a semi-workaround for small files but not realistic for files with many matches. As there is a file size limit it may be reasonable to search the entire document and also include a count. E.g. 1 of 35 hits.

billthefarmer commented 5 months ago

Find previous doesn't work – see https://github.com/billthefarmer/editor/issues/225#issuecomment-1959193868