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.

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

Custom filtering for resource types #814

Open
nturinski opened this issue Feb 7, 2024 · 0 comments
Open

Custom filtering for resource types #814

nturinski opened this issue Feb 7, 2024 · 0 comments
Labels

Comments

@nturinski
Copy link
Member

@aweininger We discussed having some more filtering groups for resource types since we're starting to accrue a pretty large variety of extensions contributing.

Couple ideas:

  • Hide some by default unless they have a resource of that type
  • Have different filtering types, such as "Core" which would be our extensions, "Supported" which would be resources with corresponding extensions, and "All" which is showing every resource
  • Maybe supporting a "Custom" filter that lets users filter similar to how it works for subscription. Have to consider how this will affect resource groupings.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant