Idea Summary
We use the search option in Page Designer very regularly. We translate all our apps. When we search an app for a phrase, the search results always also contains results from the translation repository. We rarely need those results.

Use Case
Searching the app for example for a label, returns the page item itself, and the translated text. If you want to change all occurance of a label, you don't have the overview if you've altered all occurances.

Preferred Solution (Optional)
Add a checkbox , next to Case sensitive and Current page only, to skip translations