Pull to search notes

[TobiasDev]

⚠️ This issue respects the following points: ⚠️

• This is a enhancement/feature request. Not a bug or question.
• The topic is not already reported at Issues. (I've searched it).
• Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.
• The wanted feature/enhancement is not present in the latest development version (git master). (Please download and try the test version of Markor, named Marder. Don't worry; Markor and Marder appear as completely separate applications. You can install both side-by-side, and Markor's settings are not touched. If your desired feature is present, you don't need to open this issue. The change will be part of the next Markor update.)

Description

1. Currently there is a pull to refresh, I would love to have a pull to search as option instead.
2. Ideally search among all note titles, and maybe a checkbox for optionally also searching note content

Information

Android version: 14
Device: MotoG
App Version: 2.14

Source

Google Play

Format / File type

Something else (-> Additional info)

Additional info / Log

-

[harshad1]

There is a search icon right there.

[TobiasDev]

There is a search icon right there.

It is, but on new large phones it is not that easy to get to and that's why I wanted to ask for the pull to search.

But I also understand if you do not want to implement it.

[harshad1]

From the ticket description it sounded like the presence of the search button (which has all the requested functionality) had somehow been missed.

Reopening this for now. I don't plan to implement this but someone else may.