Esempio n. 1
0
  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);
    }
  }
Esempio n. 2
0
 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;
       }
   }
 }