Comment installer et utiliser les bookmarklets dans Microsoft Edge

Table des matières:

Comment installer et utiliser les bookmarklets dans Microsoft Edge
Comment installer et utiliser les bookmarklets dans Microsoft Edge

Vidéo: Comment installer et utiliser les bookmarklets dans Microsoft Edge

Vidéo: Comment installer et utiliser les bookmarklets dans Microsoft Edge
Vidéo: Mes fichiers pdf ne s'ouvrent plus normalement !! Que faire ? - YouTube 2024, Avril
Anonim
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 en premier.
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 en premier.

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 marque-pages 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 que quelques exemples de ce que vous pouvez faire avec les 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 le permet pas.

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 autorise pas à modifier l'adresse d'un favori.

En fait, il est 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 de l'Explorateur de fichiers et de modifier directement vos fichiers favoris. Ne vous inquiétez pas, ce n’est pas aussi difficile que cela puisse paraître.

Microsoft a annoncé qu'il mettrait à jour Edge plus souvent qu'Internet Explorer. Nous espérons donc 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 mettons cette page en favori. 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 placer dans la barre des favoris.

Vous pouvez mettre en favori absolument n'importe quelle page pour commencer. Toutefois, si nous favorisons une page sur le site Web de Pocket, le bookmarklet résultant aura l’icône favicon ou 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 devons maintenant 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.
Nous devons maintenant 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:
Ensuite, accédez au répertoire suivant:

C:UsersYOURNAMEAppDataLocalPackagesMicrosoft.MicrosoftEdge_RANDOMACMicrosoftEdgeUserDefaultFavoritesLinks

YOURNAME est le nom de votre compte utilisateur Windows et RANDOM, 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.

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, vous devez cliquer avec le bouton droit de la souris sur le bouton «+ Pocket» et sélectionner «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.
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, vous devez cliquer avec le bouton droit de la souris sur le bouton «+ Pocket» et sélectionner «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.
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é.
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.
Ensuite, fermez Microsoft Edge, puis rouvrez-le. Le bookmarklet devrait maintenant être fonctionnel.

Répétez cette procédure pour ajouter plus de bookmarklets.

Comment utiliser les bookmarklets dans Microsoft Edge

Vous pouvez utiliser le bookmarklet de deux manières. Pour qu’il soit toujours affiché à l’écran et que vous puissiez cliquer ou taper dessus, ouvrir le menu de Edge, sélectionner Paramètres, puis 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.
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.
Image
Image

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.

Conseillé: