ENHANCEMENT: Add "Search" ability to the Plugin Manager.
Open
- Dominant language
- Java
- Stars
- 287
- Forks
- 172
- PR merge metrics
- No merged PRs in 30d
Description
Today, it can be very hard to find a particular plugin by name / description. Adding a "Search" would be a nice feature.
Contributor guide
Assessment
This issue has not been assessed yet.