acorbi opened this issue 10 years ago · 1 comments
Add a search field on the top bar so users can filter the results by content.
Once results have been shown, the user should be able to dismiss the search query so all results are shown again.
Implemented on Commits eb9ced3 and 12b73ff . Look-and-feel of the search input field could still be improved.