Seeking feedback on new search widget

[jphalip]

Hi,

I've just submitted a PR to add a widget to show the current and total number of occurrences during a search. This is a simple feature you that exists in most text editors (including Intellij's built-in search tool) and that I've missed since switching to IdeaVim and to using commands like /, ?, *.

Here's what the new widget looks like:

And here's Intellij's built-in search tool for comparison:

What do you think about this feature? Any thoughts on the UI? If you'd like to give it a try, feel free to check out the code in the PR.

Thanks!