TENDANCES
Comparateur
- AUTO
Un bug assez dérangeant a été repéré dans Microsoft Edge. Le navigateur Internet de Microsoft pouvait tout simplement planter si les utilisateurs avaient Google comme moteur de recherche par défaut.
Le bug est apparu cette nuit. Microsoft a d’abord dit qu’il enquêtait pour savoir ce qui coinçait et a proposé une solution temporaire pour ne plus avoir de crash : désactiver l’option « Afficher les suggestions de recherche et de site à l’aide des caractères saisis ». Une autre astuce découverte par les utilisateurs a été de changer le moteur de recherche par défaut et mettre, par exemple, Bing.
Il a fallu quelques heures à Microsoft pour trouver l’origine du problème et déployer un correctif. Mais il y a une bonne nouvelle dans l’affaire : le déploiement du correctif n’a pas nécessité une mise à jour particulière du navigateur, tout s’est fait en coulisses.
Thanks for everyone's patience while we investigated! We believe this to be resolved now. We encourage you to revert your browser settings that you may have changed, and let us know if you are still experiencing any crashes typing into the address bar. https://t.co/Icx2qR3UHM
— Microsoft Edge Dev (@MSEdgeDev) July 31, 2020
Quel était le problème ? Microsoft ne communique pas publiquement sur le sujet. Nous ne savons pas si le souci venait de Google ou de Microsoft. Il est possible que ce soit Microsoft toutefois parce que les autres navigateurs basés sur Chromium fonctionnaient normalement avec Google comme moteur de recherche par défaut.
Microsoft a annoncé avoir obtenu le blocage de 240 sites liés à un réseau de cybercriminels, après avoir lancé...
C’est la grosse boulette de la semaine : si l’on en croit un dépôt de la cour de justice, les ingénieurs d’OpenAI...
La Bagnole (ça ne s’invente pas), un véhicule électrique conçu et fabriqué part une startup française,...
Des chercheurs britanniques de l’université de Birmingham ont développé une nouvelle théorie décrivant les...
C’est la semaine du Black Friday,l’avant dernière semaine du mois de novembre, qui est une période de grosses promotions pour...
22 Nov. 2024 • 12:50
22 Nov. 2024 • 11:35
22 Nov. 2024 • 9:50
21 Nov. 2024 • 22:43