We have exploited some advanced Glazed Lists functionality to build a user filter. First we implemented static filtering using Matcher. Then we implemented dynamic filtering by combining our Matcher with a custom MatcherEditor.
Matcher
MatcherEditor