This project is adding CodeMirror functionality to the Plugin and Theme file editors, as well as the Customizer Custom CSS box and the Custom HTML widget.
We’re working around discussion on a Core ticket, #12423
Any questions, reach out to #core-customize on WordPress.org Slack or better open an issue on GitHub! See contributing.
Development of this plugin is done on GitHub. Pull requests welcome. Please see issues reported there.