Page d'accueil » Conseils Internet Explorer » Modifier l’éditeur de code source dans IE 8 à 11

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

    Avez-vous déjà vu le code source d'une page Web dans Internet Explorer? Chaque page Web que vous consultez sur Internet est en réalité un code écrit dans divers langages tels que HTML, CSS, Javascript et plus encore. Tous ces éléments se combinent pour créer une page Web avec laquelle vous pouvez visualiser et interagir..

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

    Selon la version d'IE que vous avez installée, la méthode est différente. De IE 8 à 10, c'est très simple et vous pouvez changer le visualiseur de code source par défaut dans IE lui-même..

    Dans IE 11, vous devez modifier une clé de registre pour pouvoir effectuer le changement. Ce n'est pas grave, mais si vous n'aimez pas jouer avec le registre, c'est agaçant.

    Changer View Source Editor IE 8 à 10

    Il est très facile de changer d'éditeur dans ces versions d'IE, car Microsoft a intégré cette option dans le navigateur lui-même. Vous devez ouvrir les outils de développement pour accéder à l'option, ce qui est très facile.

    Vous pouvez appuyer sur la touche F12 de votre clavier ou cliquer sur Outils puis cliquez sur Outils de développement.

    Une autre fenêtre d'IE va s'ouvrir et vous souhaitez cliquer sur Fichier, puis Personnaliser Internet Explorer View Source puis choisissez parmi les options.

    Vous pouvez choisir le Bloc-notes ou vous pouvez cliquer sur Autre si vous avez un autre éditeur de code que vous souhaitez utiliser. Quand vous cliquez Autre, Il suffit de naviguer jusqu'à l'emplacement du fichier programme (EXE) pour votre éditeur.

    Modifier l'affichage de l'éditeur de source IE 11

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

    Avant de modifier le registre, assurez-vous de lire mon guide sur la 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 pas 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.

    Faites un clic droit sur le Internet Explorer clé et cliquez sur Nouveau et alors Clé.

    Nommez la nouvelle clé Voir l'éditeur de source puis appuyez sur Entrée. Maintenant, cliquez avec le bouton droit sur la nouvelle clé View Source Editor et choisissez à nouveau Nouveau et alors Clé.

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

    Dans le volet de droite, double-cliquez sur le bouton Défaut clé qui n'a pas de valeur définie. dans le Données de valeur case, allez-y et mettez dans le chemin du fichier EXE pour votre éditeur de code souhaité. Assurez-vous de mettre tout le chemin 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 s'ouvrir dans l'éditeur de code souhaité. Vous n'avez pas besoin de redémarrer votre ordinateur ni de vous déconnecter, les modifications prennent effet immédiatement..

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