Tagging: Toggle filtering

Add an icon to toggle tag filtering widget.

Fixes bug 3077.