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); } }
private void setUpFrameSet(final NodeImpl fsrn) { this.isFrameSet = true; this.htmlBlockPanel = null; final FrameSetPanel fsp = this.createFrameSetPanel(); this.frameSetPanel = fsp; this.nodeRenderer = fsp; this.removeAll(); this.add(fsp); fsp.setRootNode(fsrn); }