Function makeRunButton

core/src/plugins/py-editor.js:177–218

(handler, type)

};

const makeRunButton = (handler, type) => {
    const runButton = document.createElement("button");
    runButton.className = `absolute ${type}-editor-run-button`;
    runButton.innerHTML = RUN_BUTTON;
    runButton.setAttribute("aria-label", "Python Script Run Button");
    runButton.addEventListener("click", async (event) => {
        const script = getRelatedScript(runButton, type);
        if (
            runButton.classList.contains("running") &&
            confirm("Stop evaluating this code?")
        ) {
            if (script) {
                const env = script.getAttribute("env");
                // remove the bootstrapped env which could be one or shared
                if (env) {
                    for (const [key, value] of TYPES) {
                        if (key === type) {
                            configs.delete(`${value}-${env}`);
                            envs.delete(`${value}-${env}`);
                            break;
                        }
                    }
                }
                // lonley script without setup node should be replaced
                if (script.xworker) replaceScript(script, type);
                // all scripts sharing the same env should be replaced
                else {
                    const sel = `script[type^="${type}-editor"][env="${env}"]`;
                    for (const script of document.querySelectorAll(sel))
                        replaceScript(script, type);
                }
            }
            return;
        }
        runButton.blur();
        await handler.handleEvent(
            event,
            script?.getAttribute("onbeforerun") || "",
        );
    });
    return runButton;
};

const makeEditorDiv = (handler, type) => {
    const editorDiv = document.createElement("div");