Mozilla prévoit de lancer une nouvelle page d’options plus tard cette année dans Firefox, et l’un des changements est une option de recherche pour trouver les préférences rapidement.
La nouvelle page de préférences des listes de groupes moins qu’avant. L’effet est que certaines préférences ont déplacé à un autre endroit, et que les utilisateurs peuvent avoir besoin de temps à s’ajuster à la nouvelle hiérarchie des préférences.
La bonne nouvelle, c’est que rien n’est supprimé, de sorte que toutes les préférences qui existent dans Firefox 54 Stable sera également disponible lors de la modification des hits qui introduit la nouvelle mise en page des options de Firefox.
Selon Mozilla étude, le nouveau modèle améliore le “score moyen de réussite”, indiquant si un utilisateur a trouvé une préférence particulière, d’environ 30%. En bref: les nouvelles options de mise en page est plus compact que l’ancien. Cliquant moins, mais plus le défilement est la conséquence.
Firefox Préférences de Recherche
Une nouvelle fonctionnalité de la nouvelle page de préférences de Firefox, c’est que la recherche est disponible.
Le nouveau champ de recherche s’affiche en haut de la page de préférences. Vous pouvez y accéder sur n’importe quelle page des préférences de trouver tous les préférences ou les valeurs de ces préférences.
Une recherche de cookie par exemple met en évidence les préférences du navigateur à utiliser ce terme, parmi eux le bouton afficher les cookies et la préférence “accepter les cookies”, mais aussi une préférence qui change la façon dont les cookies sont gérés (utiliser les paramètres personnalisés pour l’historique).
La recherche n’a pas mis en évidence un exemple de “cookies” sur la capture d’écran ci-dessus. Pas sûr si c’est voulu par la conception, en tant que parent option a été mise en évidence, ou un bug.
La recherche trouve des noms de préférence et de valeurs. Vous pouvez rechercher n’importe quel moteur de recherche intégré de nom par exemple, et d’être pris directement à la préférence qui vous permet de le gérer.
La recherche est quasi-instantané, mais il y a un court délai avant que les résultats sont affichés dans le navigateur.
Verdict
La recherche des préférences est un bon complément pour Firefox, surtout depuis qu’elle va bien avec la refonte et peut aider les utilisateurs à trouver les préférences qui ont été déplacés à un autre endroit rapidement.
Firefox n’est pas le premier navigateur à intégrer la recherche sur les options de la page. Google Chrome prend en charge la recherche, et donc, ne plus Chrome navigateurs tels que Vivaldi et de l’Opéra.
Sur une note plus personnelle, j’aimerais voir un ajout de l’option de recherche pour trouver about:config préférences qui correspondent.
Maintenant, Vous: de Nouvelles Options et de recherche, quelle est votre opinion sur ces changements?