This was intentionally introduced in urbit/arvo@02dec5df for page-load performance reasons, but codemirror.js should be explicitly requested by components/CodeMirror to compensate. In addition, re-enabling resource includes results in the .CodeMirror {height: 100%} override not working properly, and the mode(language) is not passed through.
This was intentionally introduced in urbit/arvo@02dec5df for page-load performance reasons, but codemirror.js should be explicitly requested by components/CodeMirror to compensate. In addition, re-enabling resource includes results in the
.CodeMirror {height: 100%}override not working properly, and the mode(language) is not passed through.