1.5a - Sidebar: Search field for filters analogue to search field for bookmarks

[tuska]

2void

- Menu "View" > Bookmarks brings up a bookmarks sidebar with a search field: "Search bookmarks".
- Menu "View" > Filters brings up a filters sidebar WITHOUT a search field: "Search filters". *)

*) Suggestion:
It should be possible to search for filter content in a new search field to be created for filters.

[void]

Possibly in a future release.

Everything is currently only designed to have a few filters.
I am not expecting users to have many filters.

Thank you for the suggestion.



For now, use Ctrl + K (Find Filter) to search for a filter.