From the context menu (right click), you can "View source" "View selection" or "Edit text" with your favorite editor.
What is withExEditor?
Requirements: To use withExEditor, you also need to prepare a host which executes your editor. The browser interacts with the host via messages, and the editor is executed by the host.
- withExEditorHost (GitHub) https://github.com/asamuzaK/withExEditorHost
View Page Source with exEditor Creates a copy of the page, save as a temporary file, and opens it with an external editor. If you are browsing a local file, then the local file will be opened directly.
View MathML Source with exEditor Enabled on MathML elements, and shows a generated DOM tree.
withExEditor is risky to use as it requires a number of sensitive permissions that can potentially harm your browser and steal your data. Exercise caution when installing this add-on. Review carefully before installing. We recommend that you only install withExEditor if you trust the publisher.
withExEditor is probably trust-worthy. Prefer other publishers if available. Exercise caution when installing this add-on.