Function makeBoxDiv

core/src/plugins/py-editor.js:245–256

(handler, type, output)

};

const makeBoxDiv = (handler, type, output) => {
    const boxDiv = document.createElement("div");
    boxDiv.className = `${type}-editor-box`;

    const editorDiv = makeEditorDiv(handler, type);
    // allow specifying an existing output div by id
    const outDiv = output ? document.getElementById(output) : makeOutDiv(type);
    if (output) outDiv.classList.add(`${type}-editor-output`);
    boxDiv.append(editorDiv, outDiv);

    return [boxDiv, outDiv, editorDiv.querySelector("button")];
};

const init = async (script, type, interpreter) => {
    const [