galaxy
galaxy copied to clipboard
Enhancement: Tool panel search: If a tool is included in a tool group, let the tool be found with a search by the group label
Describe the bug When hunting for a tool, you might just remember the tool group label. Right now, searching with that label may or may not find the tools sorted inside of it.
Example: Mothur tools
Galaxy Version and/or server at which you observed the bug any 23.+
Browser and Operating System any
To Reproduce Steps to reproduce the behavior:
- Type they keyword "mothur" into the tool panel search
- See very short listing
- Reset search to default, and locate Mothur tool group
- See very long listing
Expected behavior Find all tools from a particular software package, especially if nested under a common tool group. This may be all that is remembered by a user.
Screenshots
..
..
Additional context Add any other context about the problem here.
Maybe adding a section:
(e.g.: section:Mothur
) filter could be useful here?
We already have only one filter here for id
or tool_id