Comment installer et utiliser les bookmarklets dans Microsoft Edge

Microsoft Edge n'a pas encore d'extensions de navigateur, mais il peut utiliser des bookmarklets. Les bookmarklets fonctionnent parfaitement dans Edge et compensent le manque d'extensions du navigateur. Vous devrez d'abord les installer manuellement.

Mise à jour: cette fonctionnalité ne fonctionne plus à partir de la mise à jour de Windows 10 novembre, mais vous pouvez utiliser cet outil tiers pour ajouter des marque-pages à la base de données de signets d'Edge..

Les bookmarklets sont de petits morceaux de code JavaScript stockés dans un signet ou un favori. Cliquez sur le bookmarklet pour que le code s'exécute sur la page en cours, vous permettant ainsi d'enregistrer une page sur Pocket, de partager une page sur Twitter ou Facebook ou même d'intégrer le gestionnaire de mot de passe LastPass à Edge. Ce ne sont là que quelques exemples de ce que vous pouvez faire avec bookmarklets.

Pourquoi faisons-nous cela à la dure

Les bookmarklets sont généralement ajoutés de différentes manières, dont aucune ne fonctionne dans Microsoft Edge. Ils sont souvent ajoutés simplement en les faisant glisser d'une page Web vers la barre des favoris et en les déposant là. Cependant, Edge ne permet pas cela.

Un bookmarklet peut également être ajouté en cliquant avec le bouton droit de la souris sur un lien et en sélectionnant «Ajouter aux favoris», mais Edge n'a pas cette option dans son menu contextuel. Enfin, vous pouvez ajouter un bookmarklet en ajoutant un site Web normal à vos favoris, puis en le modifiant et en modifiant son adresse pour contenir du code JavaScript. Cependant, Edge ne vous permet pas de modifier l'adresse d'un favori..

Il est en fait impossible d'ajouter un bookmarklet à partir de l'interface d'Edge. Cependant, vous pouvez quand même ajouter un bookmarklet en quelques clics - il vous suffira d'utiliser une fenêtre Explorateur de fichiers et de modifier directement vos fichiers préférés. Ne vous inquiétez pas, ce n'est pas aussi difficile que ça en a l'air.

Microsoft a annoncé qu'il mettrait à jour Edge plus fréquemment qu'Internet Explorer. J'espère que cela deviendra plus facile à l'avenir..

Comment ajouter manuellement un bookmarklet dans Microsoft Edge

Nous allons utiliser le bookmarklet Pocket comme exemple ici. Premièrement, nous visitons la page contenant le bookmarklet et la favorisons. Cliquez ou appuyez sur l'icône étoile sur la barre d'adresse et nommez le bookmarklet comme vous le souhaitez. Enregistrez-le où vous voulez. Pour un accès facile, vous pouvez le mettre dans la barre des favoris..

Vous pouvez mettre en favori absolument n'importe quelle page pour commencer. Cependant, si nous favorisons une page sur le site Web de Pocket, le bookmarklet résultant aura l'icône de favicon ou l'icône de site Web de Pocket. Si vous créez un bookmarklet LastPass, Twitter ou Facebook, vous voudrez probablement créer un favori à partir du site Web LastPass, Twitter ou Facebook pour commencer..

Nous allons maintenant avoir besoin de trouver les fichiers Favoris de Microsoft Edge, qu’ils cachent profondément dans le système de fichiers. Ouvrez une fenêtre de l'Explorateur de fichiers, cliquez sur l'onglet Affichage du ruban et assurez-vous que la case «Éléments masqués» est cochée..

Ensuite, accédez au répertoire suivant:

C: \ Utilisateurs \ VotreNom \ AppData \ Local \ Packages \ Microsoft.MicrosoftEdge_RANDOM \ AC \ MicrosoftEdge \ Utilisateur \ Par défaut \ Favoris \ Liens

YOURNAME est le nom de votre compte utilisateur Windows et RANDOM est une série aléatoire de chiffres et de lettres..

Vous verrez le favori que vous venez de créer, ainsi que tous les autres favoris de Microsoft Edge..

Si vous envisagez d'ajouter d'autres bookmarklets à l'avenir, vous voudrez peut-être ajouter ce dossier à votre liste de favoris Quick Access afin de pouvoir y revenir rapidement à l'avenir..

Revenez ensuite à Microsoft Edge et recherchez le code JavaScript du bookmarklet que vous souhaitez utiliser. Par exemple, sur la page Web Pocket que nous avons liée ci-dessus, cliquez avec le bouton droit de la souris sur le bouton «+ Pocket» et sélectionnez «Copier le lien» pour copier le code JavaScript dans votre presse-papiers. Si la page contient uniquement un bookmarklet au format texte, sélectionnez l'adresse commençant par «javascript:» et copiez-la..

Retournez à la fenêtre de l’explorateur de fichiers, localisez le favori créé précédemment, cliquez dessus avec le bouton droit de la souris et sélectionnez Propriétés..

Supprimez le contenu de la zone URL, puis cliquez dessus avec le bouton droit de la souris et sélectionnez Coller. Ceci remplace l'URL par le code JavaScript de votre bookmarklet souhaité..

Il devrait être possible de renommer le bookmarklet à partir d'ici, mais Microsoft Edge était confus lorsque nous avons essayé. N'essayez pas de renommer le bookmarklet à partir d'ici..

Cliquez sur OK pour enregistrer vos modifications..

Ensuite, fermez Microsoft Edge, puis rouvrez-le. Le bookmarklet devrait maintenant être fonctionnel.

Répétez cette procédure pour ajouter d'autres bookmarklets.

Comment utiliser les bookmarklets dans Microsoft Edge

Vous pouvez utiliser le bookmarklet de deux manières. Pour l'avoir toujours à l'écran afin que vous puissiez cliquer ou taper dessus, ouvrir le menu de Edge, sélectionner Paramètres et activer l'option «Afficher la barre de favoris».

Vous pouvez également simplement ouvrir le panneau normal, localiser le bookmarklet dans vos favoris, puis cliquer ou toucher dessus pour l'exécuter sur la page en cours..

Cela deviendra moins nécessaire lorsque Edge prendra en charge les extensions de navigateur, mais certaines personnes préféreront toujours les bookmarklets car elles sont plus légères. Rien ne fonctionne en arrière-plan lorsque vous utilisez un bookmarklet, contrairement à une extension de navigateur. Le bookmarklet ne fait quelque chose que lorsque vous cliquez dessus, et il ne fonctionne que sur la page en cours.