), xmlHttp = new XMLHttpRequest, xmlHttp.onload = o(xmlHttp, e);
      var t = new FormData;
      t.append("path", e), xmlHttp.open("DELETE", "/edit"), xmlHttp.send(t)
   }
   return t.className = "css-treeview", t.id = "/", $(e).appendChild(t), this.clearMainPanel = function () {
      $("editor").style.display = "none", $("editorButtons").style.display = "none", n.style.display = "block", n.innerHTML = "<div style='text-align:center'>(file not found or format not supported)</div>"
   }, this.attemptLoad 