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.

Sign up for GitHub

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

Jump to bottom

[filters] Indicate both filtered tools and total of tools #66

Open
hidde opened this issue Nov 14, 2019 · 2 comments
Open

[filters] Indicate both filtered tools and total of tools #66

hidde opened this issue Nov 14, 2019 · 2 comments
Assignees
@hidde
Milestone
filters - if/when...

Comments

@hidde
Copy link
Member

hidde commented Nov 14, 2019

As suggested by @slhenry, indicate how many tools are shown, and if it is a subset, also how large the subset is.

Example: if there are 20 and they are all shown:

Showing 20 tools

Example: if there are 20, but filters have reduced the set to 12:

Showing 12 out of 20 tools
@hidde hidde self-assigned this Nov 14, 2019
@hidde hidde mentioned this issue Nov 14, 2019
Closed
@hidde hidde mentioned this issue Nov 14, 2019
Closed
@shawna-slh
Copy link
Contributor

[minor]

instead of:

Showing 12 out of 20 tools

no "out":

Showing 12 of 20 tools

@hidde
Copy link
Member Author

hidde commented Nov 14, 2019

Thanks, that's better!

@shawna-slh shawna-slh added this to the MVP + 2 milestone Dec 10, 2022
@shawna-slh shawna-slh changed the title Indicate both filtered tools and total of tools [filters] Indicate both filtered tools and total of tools Dec 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hidde hidde

Labels
None yet
Projects
None yet
Milestone
filters - if/when we decide to add fi...
Development

No branches or pull requests
2 participants
@hidde @shawna-slh