phhsnews.com


phhsnews.com / Modifier l'éditeur de code source dans IE 8 à 11

Modifier l'éditeur de code source dans IE 8 à 11


Avez-vous déjà consulté le code source d'une page Web dans Internet Explorer? Chaque page Web que vous consultez sur Internet n'est en fait que du code écrit en plusieurs langues, comme HTML, CSS, Javascript et plus encore. Tous ces éléments se combinent pour créer une page Web que vous pouvez afficher et interagir avec.

Par défaut, IE ouvrira le code source d'une page Web dans une autre fenêtre IE, ce qui convient à la plupart des utilisateurs. Si vous êtes un développeur ou un codeur, vous pouvez utiliser un éditeur de texte ou un éditeur de code différent pour afficher le code source.

Selon la version de IE installée, la méthode diffère. De IE 8 à 10, c'est vraiment facile et vous pouvez changer la visionneuse de code source par défaut dans IE lui-même.

Dans IE 11, vous devez éditer une clé de registre pour effectuer la modification. Ce n'est rien de majeur, mais si vous n'aimez pas jouer avec le registre, c'est ennuyeux.

Modifier l'éditeur de source d'image IE 8 à 10

Il est vraiment facile de changer l'éditeur dans ces versions d'IE parce que Microsoft a construit l'option dans le navigateur lui-même. Vous devez ouvrir Developer Tools pour accéder à l'option, ce qui est vraiment facile.

Vous pouvez soit appuyer sur F12 sur votre clavier ou cliquer sur Outils, puis sur Outils de développement .

Une autre fenêtre IE apparaîtra et ici vous voulez cliquer sur Fichier, puis Personnaliser Internet Explorer Afficher Source, puis choisir parmi les options.

Vous pouvez sélectionner Bloc-notes ou cliquer sur Autre si vous avez un éditeur de code différent que vous souhaitez utiliser. Lorsque vous cliquez sur Autre, accédez simplement à l'emplacement du fichier programme (EXE) de votre éditeur.

Modifier l'éditeur de source de vue IE 11

Dans IE 11, vous devez modifier le registre afin de modifier l'éditeur car ils ont supprimé l'option de la section des outils de développement maintenant.

Avant de modifier le registre, assurez-vous de lire mon guide pour effectuer une sauvegarde du registre en cas de problème.

Maintenant, ouvrez l'éditeur de registre en cliquant sur démarrer et en tapant regedit . Ensuite, accédez à la clé suivante:

 HKEY_CURRENT_USER \ Software \ Microsoft \ Internet Explorer 

Assurez-vous que vous êtes sous la clé CURRENT_USER et non LOCAL_MACHINE car cela ne fonctionnera pas si vous modifiez les clés dans ce dernier emplacement. Plusieurs tutoriels en ligne mentionnent ce dernier, mais c'est incorrect.

Cliquez avec le bouton droit sur la clé Internet Explorer et cliquez sur Nouveau, puis sur Clé .

Nommez la nouvelle clé View Source Editor, puis appuyez sur Entrée. Cliquez maintenant avec le bouton droit de la souris sur la nouvelle clé de l'éditeur View Source et choisissez à nouveau Nouveau, puis Clé .

Cette clé sera créée sous View Source Editor et vous devrez l' appeler Nom de l'éditeur . Vos clés de registre doivent ressembler à l'image ci-dessous.

Dans le volet de droite, double-cliquez sur la clé par défaut qui n'a aucune valeur définie. Dans la zone Données de la valeur, allez-y et placez le chemin d'accès au fichier EXE pour l'éditeur de code souhaité. Assurez-vous de mettre le chemin entier entre guillemets comme indiqué ci-dessous.

Cliquez sur OK et c'est tout. Vous pouvez maintenant ouvrir IE et faire un View Source et il devrait ouvrir dans votre éditeur de code désiré. Vous n'avez pas besoin de redémarrer votre ordinateur ou de vous déconnecter, les modifications prennent effet immédiatement.

La seule chose que je n'ai pas encore réussi à comprendre est comment changer l'éditeur de code source pour Microsoft Edge, le nouveau navigateur fourni avec Windows 10. Une fois que je serai en mesure de résoudre ce problème, je mettrai à jour ce post avec la solution. Si vous avez des questions, n'hésitez pas à poster un commentaire. Prendre plaisir!


11 Trucs et astuces pour Microsoft Edge sur Windows 10

11 Trucs et astuces pour Microsoft Edge sur Windows 10

Windows 10 inclut Microsoft Edge, qui remplace Internet Explorer en tant que navigateur par défaut. L'interface d'Edge a été entièrement réécrite, et elle supprime l'ancienne interface d'Internet Explorer et tout ce fouillis. Attendez-vous à plus d'Edge à l'avenir, car Microsoft continue d'ajouter des fonctionnalités à son nouveau navigateur.

(how-to)

Comment ajouter ou supprimer manuellement des réseaux Wi-Fi à partir d'OS X

Comment ajouter ou supprimer manuellement des réseaux Wi-Fi à partir d'OS X

L'une des fonctions d'OS X est de sauvegarder tous les réseaux Wi-Fi auxquels vous vous connectez. C'est très bien si vous passez du réseau Wi-Fi au réseau Wi-Fi et que vous ne voulez pas entrer vos identifiants à chaque fois, mais cela a un inconvénient. Par exemple, si vous vous connectez à un réseau avec un nom commun, tel que "xfinitywifi", votre ordinateur peut se connecter à ce réseau dès qu'il est disponible.

(how-to)