Skip to content
This repository was archived by the owner on Mar 10, 2025. It is now read-only.

Use filtered list for search.#38

Merged
marcelpinto merged 2 commits intomainfrom
search-in-filter
Apr 13, 2023
Merged

Use filtered list for search.#38
marcelpinto merged 2 commits intomainfrom
search-in-filter

Conversation

@marcelpinto
Copy link
Contributor

When searching use the filtered samples instead of the full list

fix #35

When searching use the filtered samples instead of the full list

fix #35
@marcelpinto marcelpinto requested review from yaraki and yrezgui April 12, 2023 14:29
@marcelpinto marcelpinto merged commit 1ee4cc2 into main Apr 13, 2023
@marcelpinto marcelpinto deleted the search-in-filter branch April 13, 2023 07:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Use selected filter when searching

2 participants