Function showEditorControls

src/client/ejs.mjs:249–275

(editor)

  }

  function showEditorControls(editor) {
    if (editor.dom.parentNode.querySelector(".editor-controls")) return
    editor.dom.parentNode.appendChild(elt("div", {
      class: "editor-controls"
    }, elt("button", {
      onmousedown: e => {
        runCode(editor)
        e.preventDefault()
      },
      title: `Run code (${modName}Enter)`,
      "aria-label": "Run code"
    }, "▸"), elt("button", {
      onmousedown: e => {
        revertCode(editor)
        e.preventDefault()
      },
      title: `Revert code (${modName}j)`,
      "aria-label": "Revert code"
    }, "▫"), elt("button", {
      onmousedown: e => {
        resetSandbox(editor.state.facet(contextFacet).sandbox)
        e.preventDefault()
      },
      title: `Reset sandbox (${modName}Escape)`,
      "aria-label": "Reset sandbox"
    }, "ø")))
  }

  function hideEditorControls(editor) {
    let controls = editor.dom.parentNode.querySelector(".editor-controls")