Hi, Federico Starting with the next distribution (and in the current 'galaxy-central'), you'll be able to do just that.
Here's the documentation for it: https://wiki.galaxyproject.org/Learn/Managing%20Datasets#Searching_Datasets In future releases, we hope to enable the use of multiple selection and operations on multiple datasets with the search: https://bitbucket.org/galaxy/galaxy-central/commits/7ca065784d58e7aa77e5092952eacd963853df65 Good to see this will be useful for some and thanks for the suggestion, Carl On Mon, Feb 3, 2014 at 9:55 AM, Federico Zambelli < federico.zambe...@gmail.com> wrote: > Dear Galaxy devs, > > I apologize if somebody has already proposed this idea. > I think that it would be great to have a filter for the history panel > based on name, data type and so on similar to the one on the tools panel. I > really feel the need of it when working on histories with many datasets. > > Federico Zambelli > > ___________________________________________________________ > 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: > http://lists.bx.psu.edu/ > > To search Galaxy mailing lists use the unified search at: > http://galaxyproject.org/search/mailinglists/ >
___________________________________________________________ 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: http://lists.bx.psu.edu/ To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/mailinglists/
