Apart from the obvious use case of filtering search results without refining your search term, I also liked that the filter provided a quick overview of which plugin settings were found. In cases where those were plugins I don’t use, and thus not interested in those settings, it was sometimes helpful to check which setting was obviously not the one I was looking for. For example, when searching for “tag group,” I wanted to find out whether I was looking for Tags listed by group or Show tags by group. Using the filter, it was one click to find out that one of them (and which one) was from the docs plugin.
3 Likes