Opera pour Android : Comment changer le moteur de recherche par défaut

Presque tous les navigateurs modernes utilisent désormais la barre d'URL comme barre de recherche polyvalente. Au lieu de ne pouvoir saisir que des adresses Web, vous pouvez généralement également saisir des requêtes de recherche. Cela fonctionne car les navigateurs analysent désormais le texte dans la barre de recherche et identifient s'il s'agit d'une URL ou non. Si le texte ressemble à une URL, il est traité comme tel et le navigateur essaie de naviguer vers le site. Inversement, si le texte ne ressemble pas à une URL, il est transmis à un moteur de recherche.

L'une des difficultés de la conception d'un navigateur avec cette fonctionnalité est de définir un moteur de recherche par défaut. Il existe de nombreuses options disponibles, cependant, tout le monde n'aime pas les mêmes moteurs de recherche. La façon dont les navigateurs ont traité ce problème consiste à sélectionner une valeur par défaut, puis à permettre à l'utilisateur de choisir de la modifier s'il le souhaite.

Le navigateur Opera sur Android utilise Google comme moteur de recherche par défaut. C'est probablement un choix populaire, étant donné que Google est le moteur de recherche le plus utilisé. Cependant, certains utilisateurs voudront modifier le comportement d'Opera pour utiliser un moteur de recherche différent. Le moteur de recherche par défaut peut être défini à partir des paramètres in-app d'Opera.

Pour pouvoir accéder aux paramètres de l'application Opera, vous devez d'abord appuyer sur l'icône Opera dans le coin inférieur droit de l'application.

Opera pour Android : Comment changer le moteur de recherche par défaut

Appuyez sur l'icône Opera dans le coin inférieur droit de l'application pour pouvoir accéder aux paramètres de l'application.

Ensuite, appuyez sur "Paramètres", situé en bas du volet contextuel, pour ouvrir les paramètres.

Opera pour Android : Comment changer le moteur de recherche par défaut

Appuyez sur "Paramètres", en bas du volet contextuel, pour ouvrir les paramètres.

Une fois dans les paramètres d'Opera, faites défiler jusqu'à la sous-section « Rechercher », à peu près à mi-chemin de la liste des paramètres, puis appuyez sur la première option « Moteur de recherche par défaut ».

Opera pour Android : Comment changer le moteur de recherche par défaut

Faites défiler jusqu'à la sous-section « Rechercher » et appuyez sur « Moteur de recherche par défaut ».

Une fois que vous avez appuyé sur « Moteur de recherche par défaut », un panneau de sélection apparaîtra en bas, vous permettant de choisir le moteur de recherche que vous souhaitez utiliser par défaut. Vos options sont Google, Yahoo, Bing, DuckDuckGo, Amazon, eBay, IMDb et Wikipedia.

Les premières options sont des moteurs de recherche standard, tandis que les quatre dernières sont plus adaptées aux utilisateurs qui souhaitent régulièrement effectuer des recherches spécifiquement sur ces sites.

Opera pour Android : Comment changer le moteur de recherche par défaut

Sélectionnez votre moteur de recherche par défaut préféré dans le panneau contextuel.



Leave a Comment

Comment enregistrer une vidéo avec lécran éteint - Android

Comment enregistrer une vidéo avec lécran éteint - Android

Découvrez comment enregistrer secrètement des vidéos sur n

Comment gérer vos abonnements Google Play sur Android

Comment gérer vos abonnements Google Play sur Android

Découvrez comment gérer vos abonnements Google Play sur Android facilement grâce à nos conseils pratiques. Suivez ces étapes simples pour suspendre ou annuler vos abonnements.

Téléphone Android Autoriser uniquement les appels à partir des contacts

Téléphone Android Autoriser uniquement les appels à partir des contacts

Découvrez comment filtrer efficacement les appels entrants sur votre téléphone Android, en n

Comment supprimer la bande de suggestion dans Gboard

Comment supprimer la bande de suggestion dans Gboard

Découvrez comment supprimer ou réactiver la bande de suggestion dans Gboard, ainsi que des conseils pratiques pour améliorer votre expérience de saisie.

Insérer et retirer une carte SIM et une carte SD sur Samsung Galaxy S10

Insérer et retirer une carte SIM et une carte SD sur Samsung Galaxy S10

Découvrez comment insérer et retirer facilement une carte nano SIM et une carte microSD dans votre Galaxy S10. Suivez notre guide pas à pas.

3 applications de fond décran Disney adorables et gratuites

3 applications de fond décran Disney adorables et gratuites

Ayez toujours votre personnage Disney préféré sur votre appareil Android grâce à ces applications de fond d

Comment démarrer un Samsung Galaxy S10 en mode sans échec

Comment démarrer un Samsung Galaxy S10 en mode sans échec

Apprenez tout sur le mode sans échec sur le smartphone Samsung Galaxy S10 et comment l

Correction des lignes verticales ou horizontales sur lécran Android

Correction des lignes verticales ou horizontales sur lécran Android

Découvrez comment corriger les lignes horizontales ou verticales sur l

Correction: Samsung Galaxy S21 nenvoie pas de photos

Correction: Samsung Galaxy S21 nenvoie pas de photos

Si l

Correctif : impossible de se connecter à Revolut sur un nouveau téléphone

Correctif : impossible de se connecter à Revolut sur un nouveau téléphone

Si vous ne parvenez pas à vous connecter à Revolut sur votre nouveau téléphone, réinstallez l