Use case or problem
It’d be useful to have matches highlighted with the Ctrl + F
search, a feature generally seen in browsers or PDF viewers.
Here’s an example on how it looks on Firefox, searching “properties”:
Proposed solution
A possible solution is either adding a checkbox here to Highlight All:
Or a checkbox inside settings