Filter menu navigator

This pull request solves a long running bug in the filter toolbox of the browser area. In addition, it tries to add a filter menu in the workspaces navigator. The problem being, that it is probably too large for that small column...