Add a button that filters out a tool section in the tool panel#18034

Merged

dannon merged 9 commits intogalaxyproject:devfrom ahmedhamidawan:add_section_filter_tool_search

May 3, 2024

+153-108

Commits on Apr 19, 2024

add multiple (optional) filters to client tool search
ahmedhamidawan
committed

Commits on Apr 22, 2024

add jest for section:... filter in client tool search
ahmedhamidawan
committed

Commits on Apr 27, 2024

Commits on May 1, 2024

tweak button title and style
martenson
committed

Commits on May 2, 2024

Commits on May 3, 2024