Matthias Jentsch a4f4c8d27f Support filter editing in event history
Add a FilterEditor to the eventhistory view, fix CSS layout

resolves #6979
2014-11-18 19:12:53 +01:00
..