anchor.diff:    if (!confirm("Click OK to delete " + filename))
       return; // Cancelled
   
  -  // remove from file-list
  -  var td = e.element().parentNode;
  -  var tr = td.parentNode;
  +  // remove from file-list 
  +  var tr = getFilenameTr(current_filename);
     var tbody = tr.parentNode;
     tbody.removeChild(tr);
   
  
positive.code:   current = current.replace(';'+filename+";", ";");
    $('visible_filenames_container').value = current;
  
    // if deleted file is current file set editor textarea to empty
    if (filename == current_filename) 
    {
      current_filename = false;
      $('editor').value = "";
    }
  }
  
  
negative.code:   window.location = "/dojo/index/<%= @kata.id -%>";
  }
  
  function everyoneElsePage()
  {
    window.open("/kata/see_all_increments/<%= @kata.id -%>");
  }
  