Function init

core/src/plugins/py-editor.js:258–496

(script, type, interpreter)

};

const init = async (script, type, interpreter) => {
    const [
        { basicSetup, EditorView },
        { Compartment },
        { python },
        { indentUnit },
        { keymap },
        { defaultKeymap, indentWithTab },
    ] = await Promise.all([
        codemirror.core,
        codemirror.state,
        codemirror.python,
        codemirror.language,
        codemirror.view,
        codemirror.commands,
    ]);

    let isSetup = script.hasAttribute("setup");
    const hasConfig = script.hasAttribute("config");
    const serviceWorker = script.getAttribute("service-worker");
    const env = `${interpreter}-${script.getAttribute("env") || getID(type)}`;

    // allow specifying custom run and stop buttons through dataset attributes
    const { dataset } = script;
    if (dataset.run) RUN_BUTTON = dataset.run;
    if (dataset.stop) STOP_BUTTON = dataset.stop;

    // helps preventing too lazy ServiceWorker initialization on button run
    if (serviceWorker) {
        new XWorker("data:application/javascript,postMessage(0)", {
            type: "dummy",
            serviceWorker,
        }).onmessage = ({ target }) => target.terminate();
    }

    // allow bootstrap with same env for repeated editor creation
    // only if `env-override` is explicitly set as attribute
    if (hasConfig && configs.has(env)) {
        if (script.hasAttribute("env-override")) {
            // in this case we need to bootstrap the env again
            // because otherwise each env would leak
            envs.delete(env);
        } else {
            throw new SyntaxError(
                configs.get(env)
                    ? `duplicated config for env: ${env}`
                    : `unable to add a config to the env: ${env}`,
            );
        }
    }

    configs.set(env, hasConfig);

    let source = script.textContent;

    // verify the src points to a valid file that can be parsed
    const { src } = script;
    if (src) {