Les navigateurs modernes utilisent généralement la barre d'URL pour les adresses Web et les termes de recherche – tout ce qui n'est pas une URL est traité comme un terme de recherche. Le navigateur transmet ensuite le terme de recherche à un moteur de recherche. Ce processus est conçu pour être une fonctionnalité de qualité de vie qui vous évite d'avoir à parcourir un moteur de recherche pour ensuite entrer votre requête de recherche.
Cependant, pour traiter la barre d'URL comme une barre de recherche, le navigateur doit choisir un moteur de recherche auquel envoyer votre requête. Les navigateurs définissent généralement un moteur de recherche par défaut et permettent aux utilisateurs qui préfèrent d'autres moteurs de recherche de les sélectionner dans une liste.
Le navigateur Dolphin sur Android utilise par défaut Google, mais si vous préférez utiliser un autre moteur de recherche, quelques autres options sont disponibles.
Pour modifier le moteur de recherche par défaut, vous devez accéder aux paramètres de l'application de Dolphin. Pour pouvoir accéder aux paramètres, vous devez d'abord appuyer sur l'icône Dauphin au centre de la barre inférieure.
Appuyez sur l'icône Dolphin au centre de la barre inférieure pour pouvoir accéder aux paramètres de l'application.
Ensuite, appuyez sur l'icône de la roue dentée en bas à droite du volet contextuel pour ouvrir les paramètres.
Appuyez sur l'icône de la roue dentée en bas à droite du volet contextuel pour ouvrir les paramètres de l'application.
Dans la liste des paramètres, appuyez sur « Moteur de recherche » pour gérer le moteur de recherche par défaut.
Appuyez sur « Moteur de recherche », la quatrième option de la sous-section « Basique », pour configurer le moteur de recherche utilisé par défaut.
Pour sélectionner un moteur de recherche, appuyez simplement sur celui que vous souhaitez utiliser. Vous avez le choix entre cinq moteurs de recherche. Google est le moteur de recherche par défaut. Bing et Yahoo sont des moteurs de recherche concurrents proposés respectivement par Microsoft et Yahoo. DuckDuckGo est un moteur de recherche qui rassemble les résultats d'une gamme d'autres moteurs de recherche et ne filtre aucun des résultats en fonction des intérêts perçus dans le but d'éviter une bulle de filtre. Yandex est un moteur de recherche russe.
Astuce : Une bulle de filtre est un concept auto-renforcé où les sites Web tels que les moteurs de recherche filtrent les résultats. Ils le font en fonction des intérêts perçus dans le but de vous montrer du contenu qui vous intéresse davantage. Le problème avec cette approche est que le système renforce sa propre perception de vos intérêts tout en vous empêchant de voir les ressources. cela pourrait entrer en conflit avec vos opinions. Dans le pire des cas, cela se traduit par des situations où les personnes qui aiment les théories du complot ne voient que les résultats de la théorie du complot plutôt que les résultats de la vérification des faits.
Vous pouvez également choisir d'activer ou de désactiver les suggestions de recherche lors de la saisie dans la barre d'URL en appuyant sur le curseur « Afficher les suggestions de recherche ».
Appuyez sur le moteur de recherche que vous souhaitez utiliser comme moteur de recherche par défaut.
L'historique de navigation est un concept utile dans tous les navigateurs qui peut rendre beaucoup plus facile la recherche d'une page Web spécifique. Votre navigateur stocke également d'autres Protégez votre vie privée en effaçant régulièrement les données de navigation du navigateur Dolphin pour Android. Besoin de savoir comment ? Suivez simplement ce guide,
L'une des fonctionnalités les plus intéressantes activées par les téléphones à écran tactile est l'utilisation de gestes. Avec les gestes, vous pouvez dessiner des formes ou effectuer des gestes de balayage spécifiques pour apprendre à configurer des gestes personnalisés dans le navigateur Web Dolphin pour les appareils Android avec ce didacticiel.
La plupart des sites Web sont configurés avec au moins deux mises en page, l'une optimisée pour les utilisateurs de bureau et l'autre optimisée pour les appareils mobiles. Il existe deux Le navigateur Dolphin pour Android permet de changer l'agent utilisateur en une valeur personnalisée. Apprenez à définir votre propre agent utilisateur avec ces étapes.
Vous cherchez un moyen d’afficher et de supprimer votre historique de conversations sur ChatGPT ? Jetez un œil à cet article et aidez-vous à le faire !
Si Google Maps n'affiche pas les informations routières sur votre Android ou iPhone, ne vous inquiétez pas. Voici quelques conseils qui aideront à résoudre le problème.
Si l'application Telegram ne fonctionne pas en Wi-Fi sur votre iPhone ou Android, voici comment résoudre ce problème avec quelques méthodes de dépannage.
Si vous ne parvenez pas à regarder vos vidéos YouTube préférées sur votre Android ou iPhone en raison de l'erreur de serveur 400, voici comment y remédier.
Un téléphone Android qui décharge la batterie pendant le chargement est inhabituel. Voici les meilleures façons de résoudre le problème.
Ennuyé par une tonne de notifications provenant d'applications de chat ? Découvrez comment activer le refroidissement des notifications sur Android 15 pour une expérience plus silencieuse.
Rencontrez-vous des problèmes avec YouTube sur votre Android TV ? Voici les meilleurs moyens de dépanner YouTube qui ne fonctionne pas ou ne s'ouvre pas sur un Android TV.
Vous ne parvenez pas à rechercher des contacts sur votre Android ? Voici comment résoudre le problème de recherche de l'application Contacts qui ne fonctionne pas sur votre Android.
L'audio qui ne fonctionne pas sur Android peut vous laisser un week-end gâché. Voici les meilleures façons de réparer le son d’Android TV qui ne fonctionne pas.
Vous cherchez un moyen de flouter l’arrière-plan d’un appel vidéo WhatsApp ? Jetez un œil à ce guide et montrez-vous également comment procéder !
