Hi all,

I've just updated our main Galaxy to release_2013.11.04 but also see the following problem on galaxy-central, and on https://usegalaxy.org/ as well.

(1) Go to any history with deleted files (2) Cog icon, tick "Include Deleted datasets" (3) Look at a deleted dataset in your history column, note the yellow "Warning" box with text:

This dataset has been deleted. Click *here* to undelete it or *here* to immediately remove it from disk

(4) Notice the first *here* link (undelete) has a sensible URL, e.g. as shown via your browser's status bar or right click to copy the URL. (5) Notice the second *here* (remove) has this as the URL: javascript:void(0)

Unsurprisingly, the remove link has no effect as it is a JavaScript command to do nothing, and the user cannot therefore purge the file from their history.

I've confirmed this on multiple browsers on multiple machines.

Regards,

Peter