anchor.diff:      return;
     }
   
  -  // Create new hidden textarea to save to before submitting.
  -  var ta = document.createElement("textarea");
  -  ta.setAttribute('id', filename);
  -  ta.setAttribute('name', filename);
  +  // Create new hidden textarea (to save to before submitting)
  +  var ta = new Element("textarea", { id:filename, name:filename });
     $('visible_files_container').appendChild(ta);
   
     // Make the new filename visible in the file-manager list
  
positive.code: 
  function makeFileListEntry(filename)
  {
    var div = document.createElement("div");
    div.onclick = new Function("loadFile('" + filename + "')");
    var inp = new Element("input", 
      { id:"radio_" + filename, name:"radio_filename", type:"radio", value:"" });
    div.appendChild(inp);
    div.appendChild(document.createTextNode(filename));
    var td = document.createElement("td");
    td.appendChild(div);
    var tr = document.createElement("tr");
    tr.appendChild(td);
  
    return tr;
  
negative.code: 
    // rename hidden textarea by creating new one
    var ta = new Element("textarea", 
      { id:newname, name:newname }).update($(filename).value);
    $('visible_files_container').appendChild(ta);
  
    //TODO: and then removing the old one
  