Add search field to plugin manager #11
Description
Right now it's scrollable... but eventually we're going to have lots of plugins...
And it would be helpful to be able to filter by name.
{{ message }}
Right now it's scrollable... but eventually we're going to have lots of plugins...
And it would be helpful to be able to filter by name.