/** Called externally when the underlying corpus has changed. */
private void dataChanged() {
List<String> newDocs = new ArrayList<String>();
if (corpus != null) {
newDocs.addAll(corpus.getDocumentNames());
}
List<String> oldDocs = documentNames;
documentNames = newDocs;
oldDocs.clear();
}
public void messagesAdded(MessageCountEvent e) {
try {
// I don't think it matters where we put the new messages, but for the sanity of users
// who don't sort, and because it's the cheapest option, we'll bung them at the end.
Message[] newMessages = e.getMessages();
// Work out where the new items will appear.
final int firstNewRow = messages.size();
final int lastNewRow = firstNewRow + newMessages.length - 1;
// Actually insert the new items, and notify the listeners.
messages.addAll(Arrays.asList(newMessages));
fireTableRowsInserted(firstNewRow, lastNewRow);
} catch (Exception ex) {
ex.printStackTrace();
}
}
public void scanWholeFolder() throws MessagingException {
if (folder.isOpen() == false) {
folder.open(Folder.READ_WRITE);
}
// Bulk-fetch the message envelopes.
Message[] newMessages = folder.getMessages();
FetchProfile fetchProfile = new FetchProfile();
// FIXME: add CONTENT_INFO if we start to display the size
// fetchProfile.add(FetchProfile.Item.CONTENT_INFO);
fetchProfile.add(FetchProfile.Item.ENVELOPE);
fetchProfile.add(FetchProfile.Item.FLAGS);
folder.fetch(newMessages, fetchProfile);
this.messages = new ArrayList<Message>();
messages.addAll(Arrays.asList(newMessages));
fireTableDataChanged();
}