Function saveFile

webUi/scripts.js:18–24

()

    xhr.send();
}
function saveFile() {
    const xhr = new XMLHttpRequest();
    xhr.open('POST', '/editfile?name=' + encodeURIComponent(editingFile));
    xhr.setRequestHeader('Content-Type', 'text/plain');
    xhr.onload = () => { _('status').innerHTML = xhr.responseText === 'OK' ? 'File saved!' : xhr.responseText; };
    xhr.send(_('editor-content').value);
}

let _nvsData = null;
const _nvsInts = new Set(['u8','i8','u16','i16','u32','i32','u64','i64']);