Function openBuffer

wasm/notebook/src/editor.js:70–80

(buffers, name, text, mode, buffersDropDown, buffersList)

}

function openBuffer(buffers, name, text, mode, buffersDropDown, buffersList) {
    buffers[name] = CodeMirror.Doc(text, mode);
    let opt = document.createElement('option');
    opt.appendChild(document.createTextNode(name));
    buffersDropDown.appendChild(opt);

    let li = document.createElement('li');
    li.appendChild(document.createTextNode(name));
    li.dataset.language = name;
    buffersList.appendChild(li);
}

function newBuf(buffers, buffersDropDown, buffersList, primaryEditor) {
    let name = prompt('Name your tab', '*scratch*');