Я живо интересуюсь редакторами для веб. В 2016-м в процессе переделки yiiframework.com я пощупал CodeMirror. Недавно начал использовать Visual Studio Code и, удивившись что нечто на Electron может так годно работать (стоит вспомнить как затупливает иногда клиент Slack), начал смотреть на код и обнаружил, что сам JavaScript-редактор является отдельным проектом, который можно использовать у себя на страницах.
Весит побольше, чем тот же CodeMirror, но в плюс документация, скорость работы с большими текстами, API и расширяемость. Можно, например, сделать из него редактор diff или редактор markdown с подсветкой кода в блоках.