Filtre de boîte de sélection
Le filtre de boîte de sélection est une extension gratuite pour Chrome développée par ota-meshi. Elle appartient à la catégorie des navigateurs et à la sous-catégorie des extensions et outils. Cette extension permet aux utilisateurs de filtrer les options dans les boîtes de sélection en effectuant simplement un clic avec la touche Ctrl (ou Commande) sur la boîte de sélection. Une fois en mode de filtrage, un champ de saisie apparaît à côté de la boîte de sélection. Les utilisateurs peuvent alors entrer le mot-clé par lequel ils veulent filtrer, et les options dans la boîte de sélection seront filtrées en conséquence.
Une des grandes fonctionnalités du filtre de boîte de sélection est qu'il n'affiche le champ de saisie de filtrage que pour la boîte de sélection sur laquelle on a effectué un clic avec la touche Ctrl (ou Commande), ce qui perturbe très peu la mise en page de la page. De plus, le filtrage est effectué en utilisant la propriété d'affichage, ce qui n'affecte pas la fonctionnalité des pages qui utilisent la propriété selectedIndex en JavaScript. De plus, le filtrage est insensible à la casse et ne fait pas de distinction entre les lettres majuscules et minuscules, les hiraganas et les katakanas, ou les caractères pleine largeur et demi-largeur.
Avec le filtre de boîte de sélection, les utilisateurs peuvent facilement filtrer les options de la boîte de sélection et trouver rapidement et efficacement le choix désiré.
