Hi, as we all know TinyMCE is very bad for HTML-based content editing,
and if we could simply use CodeMirror as it natively included in theme-editor.php,
I believe it would be a very big advantage of ClassicPress
once I used WP Editor plugin but it have bugs (i.e. works only for first WP user), but it’s most flaw is cluttering - it loads plenty of resources instead of 2-3 (as theme-editor.php do)
We can’t remove visual editor and text editor for obvious reasons.
But I think we can include a Markdown and CodeMirror mode alongside them.
However, as Tim is on vacation as of now, the discussion about editors is slowed down. I came to the conclusion that each one we evaluated has their pros and cons, what we should not compromise on is flexibility, exactly because we might want to add things like CodeMirror to them.