home *** CD-ROM | disk | FTP | other *** search
- 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.File;
- import java.io.IOException;
- import java.net.MalformedURLException;
- import java.net.URL;
-
- class HtmlPane extends JPanel implements HyperlinkListener {
- JEditorPane html;
-
- public HtmlPane() {
- ((Container)this).setLayout(new BorderLayout());
-
- try {
- File var1 = new File("HelpFiles/toc.html");
- String var2 = var1.getAbsolutePath();
- var2 = "file:" + var2;
- new URL(var2);
- this.html = new JEditorPane(var2);
- this.html.setEditable(false);
- this.html.addHyperlinkListener(this);
- JScrollPane var3 = new JScrollPane();
- JViewport var4 = var3.getViewport();
- ((Container)var4).add(this.html);
- ((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 HtmlPane$PageLoader(this, var1, var2));
- }
- }
-