else return it.num() >= min && it.num() <= max;
case SENT: return (latest==null||it.cur().date.before(latest)) &&
(earliest==null||it.cur().date.after(earliest));
- case ARRIVAL: return (latest == null || it.cur().arrival.before(latest)) &&
- (earliest == null || it.cur().arrival.after(earliest));
+ case ARRIVAL: return (latest == null || it.cur().envelope.arrival.before(latest)) &&
+ (earliest == null || it.cur().envelope.arrival.after(earliest));
case SIZE: return it.cur().size() >= min && it.cur().size() <= max;
case HEADER: return it.cur().headers.get(key) != null &&
((String)it.cur().headers.get(key)).toLowerCase().indexOf(text.toLowerCase()) != -1;
case BODY: return it.cur().body.toLowerCase().indexOf(text.toLowerCase()) != -1;
case FULL: return it.cur().body.toLowerCase().indexOf(text.toLowerCase()) != -1 ||
- it.cur().allHeaders.indexOf(text) != -1;
+ it.cur().headers.raw.indexOf(text) != -1;
case DELETED: return it.deleted();
case SEEN: return it.seen();
case FLAGGED: return it.flagged();