Além do caso de uso óbvio de filtrar resultados de pesquisa sem refinar seu termo de pesquisa, também gostei que o filtro forneceu uma visão geral rápida de quais configurações de plugin foram encontradas. Em casos em que eram plugins que eu não uso e, portanto, não estava interessado nessas configurações, às vezes era útil verificar qual configuração obviamente não era a que eu estava procurando. Por exemplo, ao procurar por “grupo de tags”, eu queria descobrir se estava procurando por Tags listadas por grupo ou Mostrar tags por grupo. Usando o filtro, foi um clique para descobrir que um deles (e qual deles) era do plugin de documentação.
3 curtidas