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

Implement search through the list of plugins #23

Open
YakovL opened this issue Nov 3, 2016 · 5 comments
Open

Implement search through the list of plugins #23

YakovL opened this issue Nov 3, 2016 · 5 comments

Comments

@YakovL
Copy link

YakovL commented Nov 3, 2016

Hi, I'd like to thank Dave and all the contributors for the plugin manager and add a feature request.

The list of plugins is long and if I, say, want to find a plugin to autoclose HTML tags, I should go to the Internet and google some. It would be nice to search by title and by description through the list of plugins in the pManager itself.

@ewwink
Copy link

ewwink commented Nov 3, 2016

+1

@ur4ltz
Copy link

ur4ltz commented Nov 29, 2016

+1

1 similar comment
@Gitoffthelawn
Copy link

+1

@chcg
Copy link
Collaborator

chcg commented Mar 4, 2017

At least it is possible in the plugin list to type the name of the plugin and the position changes to that one. So some limited search possibility is already available. Also no full featured search it could make finding a known plugin easier.

@kbalint
Copy link

kbalint commented Jun 19, 2018

+1

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

7 participants