C’est souvent en jouant sur la redondance des fonctionnalités qu’on rend des interfaces utilisateur plus pratiques et intuitives. Et c’est justement la démarche que semblent emprunter les développeurs de Google Chrome. Dans sa dernière mise à jour du navigateur, la firme ajoute trois raccourcis très pratiques pour effectuer plus vite des recherches dans l’historique, les favoris ou les onglets.
Jusqu’alors, pour effectuer une recherche dans l’historique il fallait se rendre dans le menu Historique, et cliquer sur Historique pour ouvrir une nouvelle page surmontée d’un champ de recherche. Pour rechercher des onglets, la seule option était de cliquer sur le chevron tout en haut à droite des fenêtres de Chrome puis de taper des termes en lien avec l’onglet recherché.
Chrome facilite les recherches dans les onglets, l’historique et les favoris
Enfin, pour effectuer une recherche dans les Favoris (ou Bookmarks) il fallait jusqu’ici se rendre dans le menu Favoris puis ouvrir le gestionnaire de favoris. Ce qui, à l’image des recherches dans Historique, ajoute des étapes peu utiles. C’est donc cela que Google cherche à simplifié en lançant le raccourcis @ que l’utilisateur peut entrer à tout moment dans la barre d’adresses.
Lorsque l’on tape @ dans la barre d’adresses des dernières versions de Chrome, la liste de suggestions se dote de trois nouvelles entrées permettant d’effectuer directement des recherches dans l’Historique, les Onglets ou les Favoris depuis la barre d’adresses. Taper simplement @ affiche trois boutons permettant de lancer une recherche dans l’Historique, les Onglets ou les Favoris.
Mais il est également possible de taper directement @historique, @favoris ou @onglets suivi de la touche Entrée pour rechercher directement dans la catégorie correspondante. Bien sûr l’utilité de toute ou partie de ces raccourcis dépend de votre utilisation de Chrome. On apprécie par exemple de pouvoir jongler désormais entre les onglets en tapant simplement @onglets dans la barre d’adresses.
Surtout lorsque vous en avez beaucoup ouvert, et que les titre des pages ne sont plus vraiment lisibles directement en regardant au-dessus de la barre d’adresses. Le raccourci Historique incite à utiliser davantage et plus intelligemment l’historique dans la navigation au quotidien. De même la possibilité de rechercher parmi les favoris en tapant @favoris invite davantage l’utilisateur à le faire.
Ces trois nouveautés sont disponibles sur toutes les plateformes dans les dernières versions de Chrome. Google ne précise, au passage, pas de numéro particulier de version. Ce qui suggère que ces nouveautés ont été activées côté serveur. Si taper @ dans la barre d’adresses de Chrome n’affiche pas une liste semblable à l’image de Une de cet article, nous vous conseillons de mettre à jour votre navigateur.
Pour cela, cliquez sur ce lien et lancez la mise à jour si celle-ci est disponible. Que pensez-vous de ces nouveaux raccourcis Chrome ? Partagez votre retour dans les commentaires.
📍 Pour ne manquer aucune actualité de Presse-citron, suivez-nous sur Google Actualités et WhatsApp.
