Make search option
shahed8920 opened this issue · 2 comments
shahed8920 commented
Been using it for a while. It's a pretty good plugin. The only thing it lacks is a search box. Make a search bar on the top or bottom like telescope.
zaldih commented
Thank you very much for your comment and for opening the issue.
I am working on it (#29) and hope to be able to publish a test next week.
The search form instead of a square will be more similar to "mason plugin", where you can search directly using /.
zaldih commented
Out of curiosity, how did you discover this plugin?