Eike Kettner 2aed7ba142 Simplify search bar and search menu
The functionality of the search bar is now in the search menu, too.
The search menu shows one input field for "textual search", which is
either the fulltext search (if enabled) or a basic search in various
names.
2020-12-05 22:38:27 +01:00
..
2020-11-27 20:26:24 +01:00