Windows 10 a reçu une autre mise à jour qui promet de corriger certains bogues gênants avec la fonctionnalité de recherche trouvée par ceux qui exécutent la mise à jour de novembre 2019 (au fait). Microsoft a du mal à résoudre les problèmes liés à la recherche dans l'explorateur de fichiers depuis un certain temps maintenant, et comme nous l'avons noté fin 2019, l'outil de recherche a rencontré des problèmes qui l'ont cassé de différentes manières, y compris l'impossibilité de se redresser pour certains utilisateurs. : Cliquez sur la barre de recherche et collez-y votre texte. Comme Tom's Hardware l'a découvert, le correctif KB4532695 récemment publié pour la mise à jour Windows 10 du 10 novembre et la mise à jour de mai 2019 résout ces problèmes de recherche. Dans un document de support, Microsoft indique que la mise à jour applique les étapes de dépannage suivantes :
- Met à jour un problème qui provoque l'apparition d'une zone grise lors de la recherche dans le Panneau de configuration et l'Explorateur de fichiers
- Met à jour un problème qui empêche la barre de recherche de l'Explorateur de fichiers de coller le contenu du presse-papiers avec le bouton droit de la souris (clic droit)
- Met à jour un problème qui empêche la barre de recherche de l'Explorateur de fichiers de recevoir les entrées de l'utilisateur