    = "editor-filename";
  filename.type    = "text";
  filename.disabled= true;
  filename.size    = 20;
  ge(element).appendChild(filename);

  var savefile = ce("button");
  savefile.innerHTML = ' Save ' ;
  ge(element).appendChild(savefile);

  function httpPostProcessRequest(status, responseText){
    if(status != 200)
      alert("ERROR["+status+"]: "+responseText);
    else
      tree.refreshPath(path.value);
  }
  function createPath(p){
    var formData = new FormData();
    formData.append("path",