.open("GET", "/status", !0), n.send(null)
}

function showHttpError(e) {
   alert("ERROR: [" + e.status + "] " + e.responseText)
}

function canLoadNewContents() {
   return !!$("saveBtn").disabled || !!confirm("Changes to your document will be lost if you continue") && (enableSaveDiscardBtns(!1), !0)
}

function enableSaveDiscardBtns(e) {
   $("saveBtn").disabled = !e, $("discardBtn").disabled = !e
}

function getParentFolder(e) {
   return (e = (e = e.startsWith("/") ? e : "/" + e).endsWith("/") ? e.slice