Dashboard: filtering options
Open
Severity: LOW
- Dominant language
- TypeScript
- Stars
- 26
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
Add user-selectable filtering to the Dashboard so users can narrow which files are displayed without changing their sorting order.
## Initial requested filter
- [ ] Related to #1370 : Filter by notation type: Square / Hufnagel
## Additional filtering options
The complete set of useful filters is still to be decided. Please add desired filtering criteria and use cases in this thread so they can be collected and discussed here.
Related:
- #1063 tracks Dashboard sorting options.
- #1004 previously mentioned search/filter/label functionality as part of a broader Dashboard request.
Contributor guide
Assessment
This issue has not been assessed yet.