Prioritizing the visibility of all of those checkbox settings (highlight all, match case, etc.) over the visibility of matches makes no sense. Obviously, it isn't an issue when your screen is full-sized. But it's hidden if, for whatever reason, your ...
