Comment puis-je éditer la source d'une page dans Opera? Avant, je pouvais le faire simplement en cliquant avec le bouton droit de la souris sur la page, en sélectionnant "Source", en modifiant la page et en appliquant les modifications Maintenant, après avoir sélectionné "Source", il ne semble pas que je puisse modifier la page. le page d'aide n'a pas aidé.
J'utilise Opera 31.0.1889.174 avec Windows 7 SP1 x64 Ultimate.
Réponses:
Opera utilise maintenant Blink / Chromium donc il a Les outils de développement de Chromium .
Les outils de développement Chrome (DevTools en abrégé) constituent un ensemble d’outils de création et de débogage Web intégrés à Google Chrome [ou à votre navigateur basé sur Chromium]. Les DevTools offrent aux développeurs Web un accès approfondi aux éléments internes du navigateur et de leur application Web. Utilisez les outils DevTools pour localiser efficacement les problèmes de disposition, définir des points d'arrêt JavaScript et obtenir des informations sur l'optimisation du code.
Si vous connaissez Firefox et Firebug, vous pourriez peut-être essayer Firebug Lite .
- Compatible avec tous les principaux navigateurs: IE6 +, Firefox, Opera, Safari et Chrome
- Même apparence que Firebug
- Inspectez HTML et modifiez le style en temps réel
- Fonctions de journalisation de la console puissantes
- Représentation riche d'éléments DOM Étendre Firebug Lite et ajouter des fonctionnalités pour le rendre encore plus puissant