home *** CD-ROM | disk | FTP | other *** search
- import com.sun.java.swing.JComponent;
- import com.sun.java.swing.JEditorPane;
- import com.sun.java.swing.JPanel;
- import com.sun.java.swing.JScrollPane;
- import com.sun.java.swing.JViewport;
- import com.sun.java.swing.SwingUtilities;
- import com.sun.java.swing.event.HyperlinkEvent;
- import com.sun.java.swing.event.HyperlinkListener;
- import com.sun.java.swing.event.HyperlinkEvent.EventType;
- import java.awt.BorderLayout;
- import java.awt.Container;
- import java.awt.Cursor;
- import java.io.IOException;
- import java.net.MalformedURLException;
- import java.net.URL;
-
- public class HtmlPanel extends JPanel implements HyperlinkListener {
- SwingSet swing;
- JEditorPane html;
-
- public HtmlPanel(SwingSet var1) {
- this.swing = var1;
- ((JComponent)this).setBorder(SwingSet.emptyBorder10);
- ((Container)this).setLayout(new BorderLayout());
- ((JPanel)this).getAccessibleContext().setAccessibleName("HTML panel");
- ((JPanel)this).getAccessibleContext().setAccessibleDescription("A panel for viewing HTML documents, and following their links");
-
- try {
- URL var2 = new URL(SwingSet.javaDocPath + "/packages.html");
- this.html = new JEditorPane(var2);
- this.html.setEditable(false);
- this.html.addHyperlinkListener(this);
- JScrollPane var3 = new JScrollPane();
- ((JComponent)var3).setBorder(SwingSet.loweredBorder);
- JViewport var4 = var3.getViewport();
- ((Container)var4).add(this.html);
- var4.setBackingStoreEnabled(true);
- ((Container)this).add(var3, "Center");
- } catch (MalformedURLException var5) {
- System.out.println("Malformed URL: " + var5);
- } catch (IOException var6) {
- System.out.println("IOException: " + var6);
- }
- }
-
- public void hyperlinkUpdate(HyperlinkEvent var1) {
- if (var1.getEventType() == EventType.ACTIVATED) {
- this.linkActivated(var1.getURL());
- }
-
- }
-
- protected void linkActivated(URL var1) {
- Cursor var2 = this.html.getCursor();
- Cursor var3 = Cursor.getPredefinedCursor(3);
- this.html.setCursor(var3);
- SwingUtilities.invokeLater(new HtmlPanel$PageLoader(this, var1, var2));
- }
- }
-