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

Library editor: Add "filter" toolbar to filter element lists #673

Merged
merged 1 commit into from Feb 18, 2020

Conversation

ubruhin
Copy link
Member

@ubruhin ubruhin commented Feb 16, 2020

The filter applies to all lists at the same time, which is useful to find all elements related to some term (e.g. filtering for "stm32" shows all related categories, symbols, components, etc.).

filter

Fixes #665.

@ubruhin ubruhin added this to the 0.1.4 milestone Feb 16, 2020
@ubruhin ubruhin self-assigned this Feb 16, 2020
@ubruhin ubruhin force-pushed the 665-library-editor-filter-toolbar branch from 21653c0 to f9ea800 Compare Feb 16, 2020
@ubruhin ubruhin force-pushed the 665-library-editor-filter-toolbar branch from f9ea800 to c052349 Compare Feb 18, 2020
@ubruhin ubruhin merged commit 7e8c257 into master Feb 18, 2020
11 checks passed
@ubruhin ubruhin deleted the 665-library-editor-filter-toolbar branch Feb 18, 2020
ubruhin added a commit that referenced this issue Apr 22, 2020
Library editor: Add "filter" toolbar to filter element lists
(cherry picked from commit 7e8c257)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

1 participant