public void printOutDocStack() { System.out.println("======================================="); System.out.println("= Current document stack"); System.out.println("= Current position = " + currentPos); System.out.println("="); for (int i = 0; i < nodes.size(); i++) { Node node = (Node) nodes.elementAt(i); System.out.println("= Node " + i + ":"); System.out.println("= target: " + node.target.getName()); System.out.println("= old contents: " + node.oldContents.getURL()); System.out.println("= scroll position: " + node.oldContents.getScrollPosition()); System.out.println("= flushed: " + node.oldContents.getIsFlushed()); System.out.println("= new contents: " + node.newContents.getURL()); System.out.println("= scroll position: " + node.newContents.getScrollPosition()); System.out.println("= flushed: " + node.newContents.getIsFlushed()); System.out.println( "= parents (length " + (node.parents != null ? node.parents.length : 0) + "):"); if (node.parents != null) { for (int j = 0; j < node.parents.length; j++) { System.out.print("= " + node.parents[j].getURL()); DocumentFormatter documentformatter = node.parents[j].getFormatterIfNotRemoved(); if (documentformatter != null) System.out.println( ", " + ((DocumentPanel) documentformatter.getScrollPane()).getName()); else System.out.println(""); } } System.out.println("= extViewer: " + node.extViewer); System.out.println("="); } System.out.println("======================================="); }
private void flushForCodebase( DocumentFormatterPresentation documentformatterpresentation, Vector vector) { if (!documentformatterpresentation.getIsFlushed()) { DocumentFormatter documentformatter = documentformatterpresentation.getFormatterRef().getFormatter(); Vector vector1 = new Vector(); documentformatter.getAppletPanels(vector1, true); for (int i = 0; i < vector1.size(); i++) if (vector.contains(vector1.elementAt(i))) { documentformatterpresentation.flush(); return; } } }
public void addAppletPanels(Vector vector) { Vector vector1 = new Vector(); int i = Math.max(0, (1 + currentPos) - purgeContentsThreshold); int j = Math.min(nodes.size() - 1, (currentPos + purgeContentsThreshold) - 1); for (int k = i; k <= j; k++) { Node node = (Node) nodes.elementAt(k); if (!node.oldContents.getIsFlushed()) { DocumentFormatter documentformatter = node.oldContents.getFormatterRef().getFormatter(); documentformatter.getAppletPanels(vector1, true); } if (!node.newContents.getIsFlushed()) { DocumentFormatter documentformatter1 = node.newContents.getFormatterRef().getFormatter(); documentformatter1.getAppletPanels(vector1, true); } if (node.parents != null) { for (int i1 = 0; i1 < node.parents.length; i1++) { DocumentFormatter documentformatter2 = node.parents[i1].getFormatter(); documentformatter2.getAppletPanels(vector1, true); } } } for (int l = 0; l < vector1.size(); l++) { Object obj = vector1.elementAt(l); if (!vector.contains(obj)) vector.addElement(obj); } }
public void setDocFont(DocFont docfont) { int i = Math.max(0, (1 + currentPos) - purgeContentsThreshold); int j = Math.min(nodes.size() - 1, (currentPos + purgeContentsThreshold) - 1); for (int k = i; k <= j; k++) { Node node = (Node) nodes.elementAt(k); if (!node.oldContents.getIsFlushed()) { DocumentFormatter documentformatter = node.oldContents.getFormatterRef().getFormatter(); documentformatter.setDocFont(docfont); } if (!node.newContents.getIsFlushed()) { DocumentFormatter documentformatter1 = node.newContents.getFormatterRef().getFormatter(); documentformatter1.setDocFont(docfont); } if (node.parents != null) { for (int l = 0; l < node.parents.length; l++) { DocumentFormatter documentformatter2 = node.parents[l].getFormatter(); documentformatter2.setDocFont(docfont); } } } }