Search improvements

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.

Current workaround (optional)

Related feature requests (optional)