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

Filter List of Resources on Change #503

Merged
merged 1 commit into from
Feb 6, 2023
Merged

Filter List of Resources on Change #503

merged 1 commit into from
Feb 6, 2023

Conversation

ricoberger
Copy link
Member

Instead of filtering the list of resources / list of CRDs when the user submits the filter text field we are now filtering the list as the user types, so that the list of resources is directly updated and the user does not have to presse enter anymore.

Instead of filtering the list of resources / list of CRDs when the user
submits the filter text field we are now filtering the list as the user
types, so that the list of resources is directly updated and the user
does not have to presse enter anymore.
@ricoberger ricoberger added the changelog: changed Something was changed or updated label Feb 6, 2023
@ricoberger ricoberger merged commit 91ffab6 into main Feb 6, 2023
@ricoberger ricoberger deleted the filter-on-change branch February 6, 2023 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changelog: changed Something was changed or updated
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant