Use case or problem
In the mobile app, search is not an always available function. I have to swipe left, and potentially tap a button (if I was viewing recent files for example). It would be super helpful if search was accessible more easily. Also, search defaults to case-sensitive, which makes things hard to find.
Proposed solution
Maybe provide the option to add a search box to the main window. And default to case-insensitive search with an option for case-sensitive.