On Tue, Dec 7, 2010 at 2:48 PM, Jennifer Jackson jen@bx.psu.edu wrote:
Hi Peter,
Sorry for the delay, there was some discussion about this. The concept is great, but for now we have decided to leave the functionality as it is now and have users create workflows to do the same task on Galaxy main.
Using the Tool Shed is a great solution for sharing this popular function! I'll keep an eye out and approve it quickly over there.
Thanks Jennifer,
I'll try to wrap up these filter by ID tools as a tool suite then.
If Galaxy later changes its mind about putting any of this into the core, I'm fine with that - just drop me an email so I can update the tool suite as needed.
Regards,
Peter