private void processNotifications() {
// This is called in the GUI thread.
final ArrayList<DocumentNotification> notifs = this.notifications;
DocumentNotification[] notifsArray;
synchronized (notifs) {
final int size = notifs.size();
if (size == 0) {
return;
}
notifsArray = new DocumentNotification[size];
notifsArray = notifs.toArray(notifsArray);
notifs.clear();
}
final int length = notifsArray.length;
for (int i = 0; i < length; i++) {
final DocumentNotification dn = notifsArray[i];
if ((dn.node instanceof HTMLFrameSetElement) && (this.htmlBlockPanel != null)) {
if (this.resetIfFrameSet()) {
// Revalidation already taken care of.
return;
}
}
}
final HtmlBlockPanel blockPanel = this.htmlBlockPanel;
if (blockPanel != null) {
blockPanel.processDocumentNotifications(notifsArray);
}
final FrameSetPanel frameSetPanel = this.frameSetPanel;
if (frameSetPanel != null) {
frameSetPanel.processDocumentNotifications(notifsArray);
}
}