pageloader.java

本软件是使用java 开发的

package datastructure;

/**
 * <p>Title: </p>
 * <p>Description: </p>
 * <p>Copyright: Copyright (c) 2004</p>
 * <p>Company: </p>
 * @author unascribed
 * @version 1.0
 */

import java.awt.*;
import java.io.IOException;
import java.net.URL;
import javax.swing.JEditorPane;
import javax.swing.SwingUtilities;
import javax.swing.text.JTextComponent;

class PageLoader
    implements Runnable {
  URL url;
  JEditorPane html;

  PageLoader(URL url1, JEditorPane jeditorpane) {
    url = url1;
    html = jeditorpane;
  }

  public void run() {
    if (url == null) {
      java.awt.Container container = html.getParent();
      container.repaint();
    }
    else {
      javax.swing.text.Document document = html.getDocument();
      try {
        html.setPage(url);
      }
      catch (IOException ioexception) {
        html.setDocument(document);
        Toolkit.getDefaultToolkit().beep();
      }
      finally {
        url = null;
        SwingUtilities.invokeLater(this);
      }
    }
  }
}