gDownloadManager.cancelDownload(aEvent.target.id);  setRDFProperty(aEvent.target.id, "DownloadAnimated", "false"); 
gDownloadManager.cancelDownload(aEvent.target.getAttribute("dlid")); 
function onDownloadCancel(aEvent){  var selectedIndex = gDownloadsView.selectedIndex;  gDownloadManager.cancelDownload(aEvent.target.id);  setRDFProperty(aEvent.target.id, "DownloadAnimated", "false");  // XXXben -   // If we got here because we resumed the download, we weren't using a temp file  // because we used saveURL instead. (this is because the proper download mechanism  // employed by the helper app service isn't fully accessible yet... should be fixed...  // talk to bz...)  // the upshot is we have to delete the file if it exists.   var f = getLocalFileFromNativePathOrUrl(aEvent.target.id);  if (f.exists())     f.remove(false);  gDownloadViewController.onCommandUpdate();  // now reset the richlistbox  gDownloadsView.clearSelection();  var rowCount = gDownloadsView.getRowCount();  if (selectedIndex >= rowCount)    gDownloadsView.selectedIndex = rowCount - 1;  else    gDownloadsView.selectedIndex = selectedIndex;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/5089b2dda415f7e24f05d326fd9f480edfca8ee5/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js