Robert Schäfer 0e707cdd4c Massive refactoring
Fix #1231 the filter menu once and for all...
2019-08-10 03:41:38 +02:00
..
2019-08-10 03:41:38 +02:00
2019-08-10 03:41:38 +02:00