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:       className: 'go-to-home-page', 
        callback: function(e) { homePage(); }
      },{
        name: 'See how is everyone doing ',
        className: 'go-to-everyone-page', 
        callback: function(e) { everyonePage(); }
      }
    ]
  
  
negative.code:   window.location = "/dojo/index/<%= @kata.id -%>";
  }
  
  function everyoneElsePage()
  {
    window.open("/kata/see_all_increments/<%= @kata.id -%>");
  }
  