Function replaceScript

core/src/plugins/py-editor.js:163–175

(script, type)

}

const replaceScript = (script, type) => {
    script.xworker?.terminate();
    const clone = script.cloneNode(true);
    clone.type = `${type}-editor`;
    const editor = editors.get(script);
    if (editor) {
        const content = editor.state.doc.toString();
        clone.textContent = content;
        editors.delete(script);
        script.nextElementSibling.remove();
    }
    script.replaceWith(clone);
};

const makeRunButton = (handler, type) => {
    const runButton = document.createElement("button");