Hi, there is another WordPress plugin which is already integrated with Pages/Posts editor: https://wpeditor.net/
However, I’ve developed Google Chrome extension which allows me to edit source code everywhere in WordPress (Widgets, third-party themes and plugins fields for HTML/JS/CSS custom code and etc) and generally in any page on the Web: https://codehighlight.com/
In addition, it has some advanced functionality like integration with Emmet.io. I’ll be glad if you find this extension useful and share some feedback about it with me.
Thanks,
Viktar.
