Function newBuf

wasm/notebook/src/editor.js:82–93

(buffers, buffersDropDown, buffersList, primaryEditor)

}

function newBuf(buffers, buffersDropDown, buffersList, primaryEditor) {
    let name = prompt('Name your tab', '*scratch*');
    if (name == null) return;
    if (buffers.hasOwnProperty(name)) {
        alert("There's already a buffer by that name.");
        return;
    }
    openBuffer(buffers, name, '', 'python', buffersDropDown, buffersList);
    selectBuffer(primaryEditor, buffers, name);
    let sel = buffersDropDown;
    sel.value = name;
}

export { selectBuffer, openBuffer, newBuf };