Is your feature request related to a problem? Please describe
Problem
When users enable "Group By" (e.g., by Tooling Type), the list becomes very long with multiple section headers (Validators, Annotations, etc.). Navigating to a specific category (like "Benchmarks") requires significant scrolling.
Describe the solution you'd like
Proposed Solution
Add a "Jump to Section" dropdown or navigation bar next to the Group By controls.
- Dynamic: It should only populate with the groups currently visible in the table.
- Interaction: Selecting a category should smooth-scroll the page directly to that section header.
- Benefit: This improves usability for the "Grouped" view without forcing users to use the sidebar filters to hide content.
I would like to work on this implementation using React refs or IDs for the section headers.
Describe alternatives you've considered
No response
Additional context
No response
Are you working on this?
Yes
Is your feature request related to a problem? Please describe
Problem
When users enable "Group By" (e.g., by Tooling Type), the list becomes very long with multiple section headers (Validators, Annotations, etc.). Navigating to a specific category (like "Benchmarks") requires significant scrolling.
Describe the solution you'd like
Proposed Solution
Add a "Jump to Section" dropdown or navigation bar next to the Group By controls.
I would like to work on this implementation using React refs or IDs for the section headers.
Describe alternatives you've considered
No response
Additional context
No response
Are you working on this?
Yes