Outre le cas d’utilisation évident de filtrage des résultats de recherche sans affiner votre terme de recherche, j’ai également apprécié que le filtre fournisse un aperçu rapide des paramètres de plugin trouvés. Dans les cas où il s’agissait de plugins que je n’utilise pas, et donc pas intéressé par ces paramètres, il était parfois utile de vérifier quel paramètre n’était évidemment pas celui que je recherchais. Par exemple, lors de la recherche de « groupe de tags », je voulais savoir si je recherchais « Tags listés par groupe » ou « Afficher les tags par groupe ». En utilisant le filtre, il suffisait d’un clic pour savoir que l’un d’eux (et lequel) provenait du plugin de documentation.
3 « J'aime »