Mise à jour le 20 août 2016
Avec Windows 10, Microsoft a abandonné son navigateur historique Internet Explorer au profit d’une nouvelle application appelée Microsoft Edge. Et surprise, pour une fois la copie n’est pas bâclée. Edge s’avère être un excellent navigateur qui passe avec brio tous les tests de compatibilités ce qui est loin d’être le cas de ses concurrents que sont Google Chrome, Mozilla Firefox et Opera.
Les premières versions du navigateur Edge ne géraient pas facilement les extensions. Avec la mise à jour Anniversaire de Windows 10, ce n’est plus le cas. Les extensions s’installent en toute simplicité depuis le Windows Store, le magasin d’applications de Windows 10. Pour le moment le choix est assez restreint, mais comme les extensions sont assez similaires à celles développées pour le navigateur Chrome, le catalogue des extensions devrait rapidement s’étoffer.
Installer des extensions pour le navigateur Edge depuis le Windows Store
On accède aux extensions pour Edge de la façon suivante :
- Lancez le navigateur Edge.
- Accédez au menu du navigateur en cliquant en haut à droite de la fenêtre sur l’icône du menu de Edge symbolisée par trois points horizontaux.
- Dans le menu, cliquez sur Extensions.
- Les extensions déjà installées sont affichées en haut de la liste. Pour installer une nouvelle extension, cliquez sur le lien Obtenir des extensions auprès du Windows Store.
- Les extensions disponibles pour Edge sont affichées.
- Pour installer une extension, cliquez sur son icône, puis en haut de la fenêtre sur le bouton Gratuit ce qui a pour effet de lancer le téléchargement puis l’installation de l’extension.
- Une fois que l’extension a été installée, cliquez sur le bouton Lancez.
- Une fenêtre s’affiche dans le coin supérieur droit de l’écran indiquant qu’une nouvelle extension est disponible. Pour l’utiliser, il faut cliquer sur le bouton Activer.
- L’extension installée est alors activée et fonctionnelle dans le navigateur Edge.
Pour certaines extensions, on peut afficher leur icône à droite sur la barre d’adresses du navigateur. Pour cela allez sur la liste des extensions et faites un clic droit de souris et cochez la case Afficher le bouton en regard de la barre d’adresse dans le menu contextuel.
C’est également à partir du menu Extensions qu’une extension se désactive ou se désinstalle en cliquant sur les options correspondantes.
Installer des extensions pour le navigateur Edge en dehors du Windows Store
Pour installer une extension manuellement dans Edge, sans passer par le Windows Store, procédez de la façon suivante :
- Activez les Paramètres de développeur dans Edge en saisissant la commande about:flags dans la barre d’adresses puis en validant avec la touche Entrée.
- Cochez la case d’option Activer les fonctions de développement d’extensions (cette opération peut exposer votre appareil à des risques).
- Fermez la page et redémarrez Edge.
- Pour installer une extension à la main, copiez les fichiers dans un dossier sur le bureau de l’ordinateur, puis dans le menu Extensions de Edge, cliquez sur le bouton Chargez une extension qui est maintenant affiché et indiquez le dossier dans lequel les fichiers de l’extension à installer se trouvent.
- Une fois que l’extension a été installée, il ne reste plus qu’à l’activer.
