Neben dem offensichtlichen Anwendungsfall, Suchergebnisse zu filtern, ohne den Suchbegriff zu verfeinern, gefiel mir auch, dass der Filter einen schnellen Überblick darüber gab, welche Plugin-Einstellungen gefunden wurden. In Fällen, in denen es sich um Plugins handelte, die ich nicht verwende und deren Einstellungen mich daher nicht interessieren, war es manchmal hilfreich zu überprüfen, welche Einstellung offensichtlich nicht diejenige war, nach der ich suchte. Als ich beispielsweise nach „Tag-Gruppe“ suchte, wollte ich herausfinden, ob ich nach „Tags nach Gruppe auflisten“ oder „Tags nach Gruppe anzeigen“ suchte. Mit dem Filter war es ein Klick, um herauszufinden, dass einer davon (und welcher) aus dem Docs-Plugin stammte.
3 „Gefällt mir“