Lines Matching defs:filter
106 public DirectoryPartitionFilter filter;
159 * An asynchronous filter used for loading two data sets: email rows from the local
208 * An asynchronous filter that performs search in a particular directory.
298 * displayed temporarily while the corresponding filter is running.
430 // The filter has loaded results for the default partition too.
468 if (partition.filter == null) {
469 partition.filter = new DirectoryPartitionFilter(i, partition.directoryId);
471 partition.filter.setLimit(limit);
472 partition.filter.filter(constraint);
474 if (partition.filter != null) {
476 partition.filter.filter(null);