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

Filtration of options for List and Checkbox #73

Open
AuHau opened this issue May 24, 2019 · 1 comment
Open

Filtration of options for List and Checkbox #73

AuHau opened this issue May 24, 2019 · 1 comment
Labels
enhancement New feature or request

Comments

@AuHau
Copy link
Collaborator

AuHau commented May 24, 2019

Related to #49, when there is a lot of options it would be good to provide the user a way how to filter out the set of options in order to find the correct one.
@AuHau AuHau added the enhancement New feature or request label May 24, 2019
@timog
Copy link

timog commented Aug 28, 2019 •
edited
Loading

Would be nice to be able to configure the number of options which are displayed.
Also jump forward/back with 'page up' and 'page down' keys and to the beginning and end with 'home' and 'end' keys would come handy with long lists.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@timog @AuHau