On Thu, Jun 9, 2011 at 4:20 PM, Nate Coraor <nate@bx.psu.edu> wrote:
Peter Cock wrote:
Hi Nate,
Since you're looking at this kind of thing, would the "Saved Histories" page be worth updating to show the size on disk of each history? As a Galaxy user that seems moderately useful - although perhaps more of interest to Galaxy admins?
This is already done in development, I was going to finish up the code and commit it within the next couple of weeks.
This has now been committed to galaxy-central, and looks very useful. I notice the "Saved Histories" page now has buttons "Rename", "Delete", "Delete and remove datasets from disk" (new) and "Undelete". That distinction between "hide it away" and "really delete" should make sense to users from the "Recycle Bin"/"Trash" idea for files on Windows/MacOSX. Thanks, Peter