[FR] search filter for comments

[ksdavidc]

With many comments, and some being related to each other, it might be nice to have a search filter on the comments.

[mofukuru]

Done! A search filter has been added to the sidebar in v1.0.6.

• A search input appears at the top of the Side Note panel
• Filters comments in real time by both the highlighted text and the comment body
• Works in both Current File and All Notes views

Thanks for the suggestion!