Function revertCode

src/client/ejs.mjs:241–247

(editor)

  }

  function revertCode(editor) {
    let context = editor.state.facet(contextFacet)
    editor.dispatch({
      selection: {anchor: 0},
      changes: {from: 0, to: editor.state.doc.length, insert: context.orig.textContent}
    })
  }

  function showEditorControls(editor) {
    if (editor.dom.parentNode.querySelector(".editor-controls")) return