Oltre all’ovvio caso d’uso di filtrare i risultati della ricerca senza perfezionare il termine di ricerca, mi è piaciuto anche che il filtro fornisse una rapida panoramica di quali impostazioni del plugin sono state trovate. Nei casi in cui si trattava di plugin che non utilizzo, e quindi non sono interessato a tali impostazioni, a volte era utile verificare quale impostazione non fosse quella che stavo cercando. Ad esempio, quando cercavo “gruppo di tag”, volevo scoprire se stavo cercando Tags listed by group o Show tags by group. Utilizzando il filtro, è bastato un clic per scoprire che uno di essi (e quale) proveniva dal plugin docs.
3 Mi Piace