Modifier les options de recherche
1.
Cliquez sur l'icône Options sur l'écran d'accueil ou dans un dossier.
2.
Cliquez sur Terminal > Rechercher.
• Pour effacer l'historique des recherches, cliquez sur Supprimer l'historique de recherche.
• Pour désactiver l'historique des recherches, décochez la case Montrer l'historique de recherche.
• Pour désactiver des suggestions Web, décochez la case Montrer les suggestions Web.
• Pour modifier les applications s'affichant dans vos résultats de recherche, dans les sections Sources des
données et Fournisseurs étendus, cochez ou décochez la case en regard des applications voulues.
3.
Appuyez sur la touche
> Enregistrer.