Eike Kettner 62111e5f93 Allow to hide the search menu
This is more convenient on small screens
2020-05-17 18:15:44 +02:00
..
2020-05-17 18:15:44 +02:00