function cmEditor(opts0) {
const div = html`<div>${header}
<div class='cm-container'></div>`;
const cmDiv = div.querySelector('.cm-container');
const opts = Object.assign({
value: 'function myScript(){return 100;}\n',
mode: 'javascript',
}, opts0);
const editor = CodeMirror(cmDiv, opts);
setTimeout(() => {
editor.setSize('100%', '100');
editor.refresh();
}, 0);
return div;
}