* @param filterEdit a text field for typing in the filter text.
*/
public TextFilterList(EventList source, Text filterEdit, TextFilterator filterator) {
super(new FilterList(source));
this.filterEdit = filterEdit;
matcherEditor = new TextWidgetMatcherEditor(filterEdit, filterator, false);
((FilterList)this.source).setMatcherEditor(matcherEditor);
// handle changes
this.source.addListEventListener(this);
}