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

when the list is very long, very useful to have filter/search on top of it #188

Closed
yosefy opened this issue Feb 27, 2019 · 2 comments
Closed

Comments

@yosefy
Copy link

yosefy commented Feb 27, 2019

though it is sorted which is very helpful

we sometimes have very long lists coming from some api
and it is little pain to scroll and search

though is just a cosmetics :)

@bugy bugy added the feature label Mar 18, 2019
@Vierz
Copy link

Vierz commented Jan 30, 2020

I would be very nice to have this feature. I manage a lot of scripts for different accounts in AWS, and the list is insane so its really difficult to find the account.

@bugy bugy added this to the 1.16.0 milestone Mar 26, 2020
@bugy bugy added the resolved label Mar 30, 2020
@bugy
Copy link
Owner

bugy commented Mar 30, 2020

Done. If a list has more than 10 elements, a search field is added automatically

bugy added a commit that referenced this issue Apr 1, 2020
antonellocaroli pushed a commit to antonellocaroli/script-server that referenced this issue Aug 1, 2020
antonellocaroli pushed a commit to antonellocaroli/script-server that referenced this issue Aug 1, 2020
antonellocaroli pushed a commit to antonellocaroli/script-server that referenced this issue Aug 1, 2020
antonellocaroli pushed a commit to antonellocaroli/script-server that referenced this issue Aug 1, 2020
@bugy bugy closed this as completed Nov 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants