Fix filter panel behaviour

[dlazesz]

There is two kind of filtering, that has some things in common:

We can filter:

• the edges which start or end in tokens. (It should be possible to choose to omit tokens which has no visible edges, or not)
• the tokens which involves filtering edges that start or end in a filtered token.

I think currently these to behaviour are tangled up.