Les raccourcis clavier peuvent vraiment contribuer à améliorer la productivité, c’est pourquoi Microsoft ajoute la possibilité de les personnaliser à son navigateur dans une nouvelle mise à jour de la version Developer de Microsoft Edge.
La version 90 de Microsoft Edge Dev est sortie au début du mois et le géant du logiciel vient de publier une nouvelle mise à jour qui comprend plusieurs nouvelles fonctionnalités.
La dernière version de Microsoft Edge Dev inclut la possibilité de personnaliser les raccourcis clavier dans le menu DevTools du navigateur, des menus contextuels redessinés pour les PDF et un certain nombre de corrections de stabilité pour le navigateur.
Tout comme Google Chrome, Microsoft Edge est désormais basé sur Chromium et lorsqu’il s’agit d’accéder aux outils de développement, les deux navigateurs offrent des fonctionnalités analogues. Alors que le raccourci clavier CTRL+Maj+C est utilisé pour accéder au menu des outils de développement de Chrome, dans Edge, il suffit d’appuyer sur la touche F12 pour accéder au menu DevTools du navigateur.
Dans un nouvel article de blog, Rachel Simone Weil, responsable des programmes chez Microsoft, a donné des précisions sur la manière dont les développeurs JavaScript peuvent utiliser l’outil Console intégré dans Microsoft Edge DevTools :
Dans Microsoft Edge DevTools, l’outil Console a deux fonctions principales. La première consiste à produire des messages et des erreurs enregistrés à partir du JavaScript d’un site Web. Par exemple, si le code de votre site Web comporte une ligne de JavaScript qui lit le fichier console.log (`Mon code est en cours d’exécution !`), vous devriez obtenir la sortie suivante dans l’onglet Console de DevTools. Sortie de la console : « Mon code est en cours d’exécution ! » La deuxième fonction de la console est de servir de REPL JavaScript, ce qui signifie que vous pouvez écrire et exécuter des lignes de JavaScript directement dans l’onglet.
Disponible dans le canal Dev
La dernière version de Microsoft Edge Dev est maintenant disponible pour les utilisateurs du canal Dev et dans le menu DevTools, ils pourront facilement personnaliser les raccourcis clavier du navigateur. Pour ce faire, vous devrez ouvrir DevTools et naviguer vers Paramètres en haut à gauche de la fenêtre.
Cette fonctionnalité sera probablement bientôt disponible dans la version stable de Microsoft Edge, mais si vous ne pouvez pas attendre pour la tester, vous pouvez télécharger la dernière version de Microsoft Edge Dev depuis ce lien.
