setTitle(UIPlugin.getLocalString("_UI_ModuleSelection_title")); //$NON-NLS-1$
}
@Override
protected FilteredList createFilteredList(Composite parent) {
final FilteredList filteredList = super.createFilteredList(parent);
filteredList.setFilterMatcher(new FilteredList.FilterMatcher() {
private StringMatcher fMatcher;
@Override
public boolean match(Object element) {
return fMatcher.match(filteredList.getLabelProvider().getText(element));
}
@Override
public void setFilter(String pattern, boolean ignoreCase, boolean ignoreWildCards) {
fMatcher = new StringMatcher('*' + pattern + '*', ignoreCase, ignoreWildCards);