Êtes-vous fatigué de creuser dans les paramètres de Safari pour changer le moteur de recherche par défaut? Ne creusez plus, il y a un moyen beaucoup plus facile! Si vous souhaitez utiliser différents moteurs de recherche, ou si vous ne voulez pas utiliser Google, vous pouvez le modifier plus rapidement à partir de la barre d'adresse.
Normalement, pour changer le moteur de recherche par défaut sur Safari, vous devez Il faut d'abord ouvrir les préférences, puis cliquer sur "Rechercher", changer le moteur de recherche, puis sortir des préférences.
Cette méthode est un peu compliquée si vous voulez changer régulièrement le moteur de recherche par défaut . En fait, il est plus facile d'aller sur le site web et de faire des recherches à partir de là.
Il existe un moyen beaucoup plus simple. Tout ce que vous devez faire est d'ouvrir Safari, cliquez sur la barre d'adresse, puis appuyez sur la barre d'espace. Les options de moteur de recherche disponibles (Google, Yahoo, Bing et DuckDuckGo) apparaîtront dans une liste déroulante. Vous saurez lequel est par défaut car il y a une coche à côté. Dans l'exemple suivant, Google est le moteur de recherche par défaut.
Lorsque nous sélectionnons Yahoo, une coche apparaît à côté, indiquant qu'il s'agit du nouveau moteur de recherche par défaut.
Ce changement est persistant, ce qui signifie qu'il restera ainsi jusqu'à ce que vous le changiez de nouveau, ce que vous pouvez faire en appuyant simplement sur Espace. Malheureusement, il n'y a pas de moyen simple d'ajouter des moteurs de recherche, bien qu'il n'y en ait pas vraiment beaucoup, mis à part les quatre inclus avec Safari.
Désormais, si vous voulez chercher facilement depuis la barre de localisation de Safari autre que Google, maintenant vous pouvez en quelques clics.
Comment synchroniser les notifications Android avec la mise à jour anniversaire de Windows 10
Avec la mise à jour anniversaire de Windows 10, Microsoft a inclus un moyen simple de voir les notifications de votre téléphone Android sur votre PC. Ce n'est pas aussi robuste que certaines des options tierces disponibles, mais il est extrêmement facile à configurer, et encore plus facile à utiliser RELATED: Comment envoyer des messages texte à partir de votre PC avec votre téléphone Android La meilleure partie de tout cela est qu'il n'y a littéralement pas de configuration du côté PC - tout est fait sur votre téléphone (en supposant que vous n'avez pas désactivé Cortana dans Windows 10 - si vous avez, vous aurez besoin de le tourner revenir sur).
Comment changer la couleur de la barre des tâches de Windows 7 sans logiciel supplémentaire
Bien sûr, vous pouvez pirater Windows et installer un thème personnalisé si vous le souhaitez vraiment, ou payer pour un logiciel pour toi. Ce que vous ne savez peut-être pas, c'est que vous pouvez utiliser une astuce pour changer la couleur de la barre des tâches sans ajouter de logiciel, sans changer la couleur de votre fenêtre.