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 rencontrées lors 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 intégrés à l'application d'Opera.
Pour pouvoir accéder aux paramètres de l'application d'Opera, vous devez d'abord appuyer sur l'icône Opera dans le coin inférieur droit de l'application.
Ensuite, appuyez sur « Paramètres », situé 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".
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.
