Quel que soit le navigateur que vous utilisez, lorsque vous effectuez une certaine recherche, il l'exécutera dans le moteur de recherche que vous avez laissé par défaut. Dans le cas de Safari, nous permet de sélectionner trois moteurs de recherche différents de sorte que, lorsque nous écrivons un certain mot ou une phrase dans la même barre d'adresse du navigateur, il le recherchera dans le moteur de recherche par défaut.
Le type de moteur de recherche à utiliser dans Safari il peut être sélectionné dans les préférences de l'application. Cependant, si vous êtes un utilisateur qui change assidûment les moteurs de recherche, il devient un peu encombrant de devoir entrer continuellement dans ce panneau. C'est pourquoi aujourd'hui nous vous montrons dans cet article un petit raccourci qu'Apple a placé dans Safari de manière stratégique.
Il existe trois moteurs de recherche que vous pouvez sélectionner dans Safari pour qu'il effectue les recherches. Comme nous vous l'avons déjà dit, pour changer le moteur de recherche par défaut, nous devrons entrer les préférences Safari et le Onglet général allons au menu déroulant Moteur de recherche par défaut.
Dans ce menu déroulant, nous pourrons choisir entre le moteur de recherche Google, le moteur de recherche Yahoo et le moteur de recherche Bing. Jusqu'à présent, le moteur de recherche prédéfini dans les systèmes Apple, iOS et OS X, est celui de Google. Cependant, Il semble que dans les bêtas des nouveaux iOS 8 et OS X 10.10, c'est Bing le gracieux. Nous verrons lequel d'entre eux est celui qui règne dans la version finale des deux systèmes.
Désormais, si vous êtes un utilisateur qui a besoin de changer régulièrement de moteur de recherche, vous pourrez le faire sans entrer dans le panneau Préférences en effectuant les étapes suivantes:
- Ouvrez une fenêtre Safari et placez votre curseur dans la barre d'adresse.
- Supprimer l'adresse de tout web que vous avez comme page d'accueil.
- Appuyez sur la barre d'espace pour afficher un menu déroulant dans lequel vous pouvez sélectionner le moteur de recherche que vous souhaitez utiliser.
Ce que nous venons de vous montrer est un raccourci qu'Apple a mis dans la barre d'adresse, en pensant aux utilisateurs qui ont vraiment besoin de changer de moteur de recherche plusieurs fois par jour. Une fois de plus, petites astuces qui rendent le navigateur Safari plus productif que les autres concurrents.