Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Filter tool panel by tags/labels #19069

Closed
bgruening opened this issue Oct 28, 2024 · 0 comments · Fixed by #19076
Closed

Filter tool panel by tags/labels #19069

bgruening opened this issue Oct 28, 2024 · 0 comments · Fixed by #19076
Assignees
@ahmedhamidawan

Comments

@bgruening
Copy link
Member

grafik

Would be nice to search or filter by those labels in the Galaxy tool panel.

idea by @Marie59
@ahmedhamidawan ahmedhamidawan self-assigned this Oct 29, 2024
ahmedhamidawan added a commit to ahmedhamidawan/galaxy that referenced this issue Oct 29, 2024
@ahmedhamidawan
Add a filter for labels (tags) in Tool Search
28596d3 
Fixes galaxyproject#19069
@ahmedhamidawan ahmedhamidawan mentioned this issue Oct 29, 2024
Merged
4 tasks
@ahmedhamidawan ahmedhamidawan changed the title Fitler tool panel by tags/labels Filter tool panel by tags/labels Oct 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ahmedhamidawan ahmedhamidawan

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add a filter for labels (tags) in Tool Search ahmedhamidawan/galaxy
2 participants
@bgruening @ahmedhamidawan