Codemirror editor

It's a blocking panel.
It takes advantage of the open source codemirror project, which is a specialized text editor for editing code.
This UI is opened to modify the code of the main web standards (html, css, javascript).

For example, it is called when editing innerHTML and outerHTML from the HTML Inspector panel.

Codemirror has installed all the search addons.