On Thu, Jun 9, 2011 at 4:20 PM, Nate Coraor <n...@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.



Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:


Reply via email to