in gr-editor/gr-editor.js [160:166]
_importCodeMirror() {
const codemirrorElementFile = '/static/codemirror-element.html';
const url = this.plugin.url(codemirrorElementFile);
return new Promise((resolve, reject) => {
importHref(url, resolve, reject);
});
}